Move write_ty to the bottom of check_pat
Move write_ty to the bottom of check_pat

GBGamer/rust,aidancully/rust,GBGamer/rust,aidancully/rust,GBGamer/rust,GBGamer/rust,GBGamer/rust,GBGamer/rust,graydon/rust,GBGamer/rust,graydon/rust,graydon/rust,aidancully/rust,GBGamer/rust,aidancully/rust,graydon/rust,graydon/rust,aidancully/rust,graydon/rust,aidancully/rust