It is not possible to define main with a where clause.
Erroneous code example:
fn main() where i32: Copy { // error: main function is not allowed to have
// a where clause
}
© 2010 The Rust Project Developers
Licensed under the Apache License, Version 2.0 or the MIT license, at your option.
https://doc.rust-lang.org/error_codes/E0646.html