refactor: move snapshot
check into typecheckFile
#391
Merged
snapshot
check into typecheckFile
#391