{"ast_node_type":"variable","tokens":[{"end":78,"kind":"keyword","start":0,"text":"if"}]}
                if let ty::Alias(ty::Opaque, alias_ty) = hidden_type.ty.kind()
            if !self.fcx.next_trait_solver() {
                    && alias_ty.def_id == opaque_type_key.def_id.to_def_id()