{"ast_node_type":"function","tokens":[{"end":92,"kind":"keyword","start":0,"text":"fn"}]}
    fn check_pat(&self, pat: &'tcx Pat<'tcx>, expected: Ty<'tcx>, pat_info: PatInfo<'tcx>) {
    #[instrument(level = "debug", skip(self, pat_info))]
        // For patterns containing paths, we need the path's resolution to determine whether to