compiler/rustc_error_codes/src/error_codes/E0646.md

   1 It is not possible to define `main` with a where clause.
   2
   3 Erroneous code example:
   4
   5 ```compile_fail,E0646
   6 fn main() where i32: Copy { // error: main function is not allowed to have
   7                             // a where clause
   8 }
   9 ```