My flow is: 1) I think about changing it 2) I change it 3) I figure out some way to verify it 4) I deploy it to prod I don't want to do step 2 unless I can do

My flow is: 1) I think about changing it 2) I change it 3) I figure out some way to verify it 4) I deploy it to prod I don't want to do step 2 unless I can do step 3. It just so happens that type-checking happens during recompilation, and testing happens after.