For example, the following tests shouldn't pass since they compile: - [E0074](https://github.com/rust-lang/rust/blob/da41920919ef4164c91541b8da501e36e9544c0f/src/librustc_typeck/diagnostics.rs#L980) - [E0082-1](https://github.com/rust-lang/rust/blob/da41920919ef4164c91541b8da501e36e9544c0f/src/librustc_typeck/diagnostics.rs#L1171) - [E0082-2](https://github.com/rust-lang/rust/blob/da41920919ef4164c91541b8da501e36e9544c0f/src/librustc_typeck/diagnostics.rs#L1182)
