1 error[E0308]: mismatched types
2 --> $DIR/issue-79674.rs:26:5
4 LL | requires_distinct("str", 12);
5 | ^^^^^^^^^^^^^^^^^ expected `true`, found `false`
7 = note: expected constant `true`
9 note: required by a bound in `requires_distinct`
10 --> $DIR/issue-79674.rs:23:37
12 LL | fn requires_distinct<A, B>(_a: A, _b: B) where
13 | ----------------- required by a bound in this
14 LL | A: MiniTypeId, B: MiniTypeId,
15 LL | Lift<{is_same_type::<A, B>()}>: IsFalse {}
16 | ^^^^^^^ required by this bound in `requires_distinct`
18 error: aborting due to previous error
20 For more information about this error, try `rustc --explain E0308`.