blob: e7c80cfd797d78c286272dd66b160c16940aad99 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
// check-pass
// compile-flags: -Znext-solver
trait Test {
type Assoc;
}
fn transform<T: Test>(x: Inv<T>) -> Inv<T::Assoc> {
todo!()
}
impl Test for i32 {
type Assoc = i32;
}
impl Test for String {
type Assoc = String;
}
struct Inv<T>(Option<*mut T>);
fn main() {
let mut x: Inv<_> = Inv(None);
// This ends up equating `Inv<?x>` with `Inv<<?x as Test>::Assoc>`
// which fails the occurs check when generalizing `?x`.
//
// We end up emitting a delayed obligation, causing this to still
// succeed.
x = transform(x);
x = Inv::<i32>(None);
}
|