{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"(PointerKind::Thin,"}]}
            (PointerKind::Thin, _) => Err(CastError::SizedUnsizedCast),
            // thin -> fat? report invalid cast (don't complain about vtable kinds)