{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"CastKind::DynStar"}]}
                CastKind::DynStar => not_supported!("dyn star cast"),
                },
                CastKind::IntToInt