{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"&&"}]}
                                && self.infcx.can_define_opaque_ty(alias_ty.def_id)
                            if !self.next_trait_solver()
                                && !xform_self_ty.is_ty_var() =>