{"ast_node_type":"variable","tokens":[{"end":58,"kind":"keyword","start":0,"text":"if"}]}
                if let Some(term_ty) = &b.term.as_type() {
            let proj = proj.map_bound(|mut b| {
                    let references_self = term_ty.walk().any(|arg| arg == dummy_self.into());