It is not possible to define start with a where clause. Erroneous code example:
start
#![feature(start)] #[start] fn start(_: isize, _: *const *const u8) -> isize where (): Copy { //^ error: start function is not allowed to have a where clause 0 }