src/test/ui/error-codes/E0646.stderr

   1 error[E0646]: `main` function is not allowed to have a `where` clause
   2   --> $DIR/E0646.rs:11:17
   3    |
   4 LL | fn main() where (): Copy {} //~ ERROR [E0646]
   5    |                 ^^^^^^^^ `main` cannot have a `where` clause
   6
   7 error: aborting due to previous error
   8
   9 For more information about this error, try `rustc --explain E0646`.