{"ast_node_type":"variable","tokens":[{"end":53,"kind":"keyword","start":0,"text":"let"}]}
        let box_found = Ty::new_box(self.tcx, found);
        }
        let Some(pin_box_found) = Ty::new_lang_item(self.tcx, box_found, LangItem::Pin) else {