{"ast_node_type":"variable","tokens":[{"end":72,"kind":"keyword","start":0,"text":"if"}]}
            if let ty::UserTypeKind::TypeOf(def, args) = annotation.kind
            let annotation = self.instantiate_canonical(span, user_ty);
                && let DefKind::InlineConst = tcx.def_kind(def)