{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"(Some(PointerKind::Thin),"}]}
            (Some(PointerKind::Thin), _) => Err(CastError::SizedUnsizedCast),
            (_, Some(PointerKind::Thin)) => Ok(()),
            (Some(PointerKind::VTable(src_tty)), Some(PointerKind::VTable(dst_tty))) => {