blob: 20296b287b17e8f419125860ea55e8d9bd697f95 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
// compile-flags: -Ztrait-solver=next
// Check that `<T::Assoc as DiscriminantKind>::Discriminant` doesn't normalize
// to itself and cause overflow/ambiguity.
trait Foo {
type Assoc;
}
trait Bar {}
fn needs_bar(_: impl Bar) {}
fn foo<T: Foo>(x: T::Assoc) {
needs_bar(std::mem::discriminant(&x));
//~^ ERROR the trait bound `Discriminant<<T as Foo>::Assoc>: Bar` is not satisfied
}
fn main() {}
|
