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