error[E0646]: `main` function is not allowed to have a `where` clause
  --> $DIR/E0646.rs:1:17
   |
LL | fn main() where (): Copy {}
   |                 ^^^^^^^^ `main` cannot have a `where` clause

error: aborting due to previous error

For more information about this error, try `rustc --explain E0646`.