{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"//"}]}
            // inference at the return expression.
            // Point any obligations that were registered due to opaque type
            self.select_obligations_where_possible(|errors| {