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