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
32
33
34
35
36
37
38
39
40
41
42
43
|
//@ check-pass
//@ compile-flags: -Znext-solver
// Issue 96230
use std::fmt::Debug;
trait Classic {
type Assoc;
}
trait Gat {
type Assoc<'a>;
}
struct Foo;
impl Classic for Foo {
type Assoc = ();
}
impl Gat for Foo {
type Assoc<'i> = ();
}
fn classic_debug<T: Classic>(_: T)
where
T::Assoc: Debug,
{
}
fn gat_debug<T: Gat>(_: T)
where
for<'a> T::Assoc<'a>: Debug,
{
}
fn main() {
classic_debug::<Foo>(Foo); // fine
classic_debug(Foo); // fine
gat_debug::<Foo>(Foo); // fine
gat_debug(Foo); // boom
}
|
