{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"match"}]}
        match self.at(&cause, self.param_env).sup(DefineOpaqueTypes::Yes, method_self_ty, self_ty) {
        let cause = self.cause(self.self_expr.span, ObligationCauseCode::Misc);
            Ok(InferOk { obligations, value: () }) => {