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