{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"//"}]}
                        // AFAIK, deducing the future output
                    self.deduce_future_output_from_obligations(expr_def_id).unwrap_or_else(|| {
                        // always succeeds *except* in error cases