{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"subst.at(Interner,"}]}
                    subst.at(Interner, 0).assert_ty_ref(Interner).clone()
                TyKind::Adt(adt, subst) if is_box(db, adt.0) => {
                }