Function miri::eval::args_to_utf16_command_string

fn args_to_utf16_command_string<I, T>(args: I) -> Vec<u16>
where
    I: Iterator<Item = T>,
    T: AsRef<str>,

Turns an array of arguments into a Windows command line string.

The string will be UTF-16 encoded and NUL terminated.

Panics if the zeroth argument contains the " character because doublequotes in argv[0] cannot be encoded using the standard command line parsing rules.

Further reading:

• Parsing C++ command-line arguments
• The C/C++ Parameter Parsing Rules