about summary refs log tree commit diff
path: root/tests/ui/self/self-in-typedefs.rs
blob: 786f176c019bd31fe22aa22e8849df375fd6da88 (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
32
33
34
35
36
37
38
//@ build-pass (FIXME(62277): could be check-pass?)
#![allow(dead_code)]

use std::mem::ManuallyDrop;

enum A<'a, T: 'a>
where
    Self: Send, T: PartialEq<Self>
{
    Foo(&'a Self),
    Bar(T),
}

struct B<'a, T: 'a>
where
    Self: Send, T: PartialEq<Self>
{
    foo: &'a Self,
    bar: T,
}

union C<'a, T: 'a>
where
    Self: Send, T: PartialEq<Self>
{
    foo: &'a Self,
    bar: ManuallyDrop<T>,
}

union D<'a, T: 'a>
where
    Self: Send, T: PartialEq<Self> + Copy
{
    foo: &'a Self,
    bar: T,
}

fn main() {}