1 error[E0308]: mismatched types
2 --> $DIR/obligation-cause.rs:20:5
5 | ^^^^^^^^^^ expected `false`, found `true`
7 = note: expected constant `false`
9 note: required by a bound in `g`
10 --> $DIR/obligation-cause.rs:13:44
13 | - required by a bound in this
15 LL | Is<{ std::mem::size_of::<T>() == 0 }>: True,
16 | ^^^^ required by this bound in `g`
18 error: aborting due to previous error
20 For more information about this error, try `rustc --explain E0308`.