{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"TyKind::Adt(chalk_ir::AdtId(id),"}]}
        TyKind::Adt(chalk_ir::AdtId(id), subst) => {
        TyKind::Dyn(DynTy { bounds, .. }) => Ok(Some(PointerKind::VTable(bounds.clone()))),
            let AdtId::StructId(id) = *id else {