]>
git.proxmox.com Git - rustc.git/blob - tests/ui/resolve/resolve-self-in-impl.rs
1 #![feature(associated_type_defaults)]
8 impl Tr
<Self> for S {}
// OK
9 impl<T
: Tr
<Self>> Tr
<T
> for S {}
// OK
10 impl Tr
for S
where Self: Copy {}
// OK
11 impl Tr
for S
where S
<Self>: Copy {}
// OK
12 impl Tr
for S
where Self::A
: Copy {}
// OK
14 impl Tr
for Self {}
//~ ERROR `Self` is not valid in the self type of an impl block
15 impl Tr
for S
<Self> {}
//~ ERROR `Self` is not valid in the self type of an impl block
16 impl Self {}
//~ ERROR `Self` is not valid in the self type of an impl block
17 impl S
<Self> {}
//~ ERROR `Self` is not valid in the self type of an impl block
18 impl (Self, Self) {}
//~ ERROR `Self` is not valid in the self type of an impl block
19 impl Tr
<Self::A
> for S {}
//~ ERROR cycle detected