{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"//"}]}
                // `Subtype`   : only transmutes the type, so no moves.
                // `Downcast`  : only changes information about a `Place` without moving.
                // So it's safe to skip these.