{"ast_node_type":"variable","tokens":[{"end":26,"kind":"keyword","start":0,"text":"if"}]}
        if let Err(terr) =
        let const_ty = tcx.type_of(def_id).instantiate(tcx, args.args);
            self.eq_types(const_ty, inferred_ty, Locations::All(span), ConstraintCategory::Boring)