{"ast_node_type":"function","tokens":[{"end":67,"kind":"keyword","start":0,"text":"fn"}]}
        fn visit_ty(&mut self, ty: &'tcx hir::Ty<'tcx, AmbigArg>) {
    impl<'tcx> Visitor<'tcx> for HirWfCheck<'tcx> {
            let infcx = self.tcx.infer_ctxt().build(TypingMode::non_body_analysis());