{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"subst.at(Interner,"}]}
                            subst.at(Interner, 0).assert_ty_ref(Interner).clone(),
                        Some((adt, subst)) if adt == box_adt => (
                            subst.as_slice(Interner).get(1).and_then(|a| a.ty(Interner).cloned()),