{"ast_node_type":"other","tokens":[{"end":101,"kind":"keyword","start":0,"text":"//"}]}
            // Given that there were two typed copies, we have to ensure this is valid at both types,
            let dest = dest.to_place();
            // and we have to ensure this loses provenance and padding according to both types.