#![deny(warnings)] doesn't work

[GuillaumeGomez]

The following code:

#![deny(warnings)]

trait Foo {}

type MyType<R: Foo> = (R, ());

fn main() {
    let _t: MyType<u32>;
}

gives the following warning:

warning: trait bounds are not (yet) enforced in type definitions [--explain E0122]
 --> <anon>:5:1
5 |> type MyType<R: Foo> = (R, ());
  |> ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

However it compiles anyway.

[TimNN]

Could it be that #[deny(warnings)] only works for lints?

[GuillaumeGomez]

That's a possibility. But if it's the case, I find the "deny(warnings)" very badly named. :-/

[nagisa]

Duplicate of #21204