{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"return"}]}
            return InferOk { obligations: PredicateObligations::new(), value: vec![] };
        if steps.is_empty() {
        }