{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":".at(&ObligationCause::dummy(),"}]}
                            .at(&ObligationCause::dummy(), self.param_env)
                        let _ = self
                            .eq(DefineOpaqueTypes::Yes, ideal_rcvr_ty, expected_ty)