{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":");"}]}
        );
            self_ty, method_self_ty, self.span, pick
        let cause = self.cause(self.self_expr.span, ObligationCauseCode::Misc);