{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"})"}]}
                })
                    DeepRejectCtxt::relate_rigid_infer(self.tcx).types_may_unify(*rcvr_ty, impl_ty)
                .map_or(impl_ty, |(ty, _)| ty)