{"ast_node_type":"variable","tokens":[{"end":21,"kind":"keyword","start":0,"text":"let"}]}
        let targets =
        let mut obligations = PredicateObligations::new();
            steps.iter().skip(1).map(|&(ty, _)| ty).chain(iter::once(autoderef.final_ty(false)));