{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"substs.at(Interner,"}]}
            substs.at(Interner, 0).ty(Interner)
        &TyKind::Adt(chalk_ir::AdtId(adt), ref substs) if crate::lang_items::is_box(db, adt) => {
        }