{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"TyKind::Dyn(DynTy"}]}
        TyKind::Dyn(DynTy { bounds, .. }) => Ok(Some(PointerKind::VTable(bounds.clone()))),
        TyKind::Slice(_) | TyKind::Str => Ok(Some(PointerKind::Length)),
        TyKind::Adt(chalk_ir::AdtId(id), subst) => {