{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"//!"}]}
//!    pointer_kind(`T`) = pointer_kind(`U_0`); *ptr-ptr-cast*
//! * `e` has type `*T`, `U` is `*U_0`, and either `U_0: Sized` or
//! * `e` has type `*T` and `U` is a numeric type, while `T: Sized`; *ptr-addr-cast*