Error code E0717

This error code is internal to the compiler and will not be emitted with normal Rust code.