src/test/ui/self/self-in-typedefs.rs

// build-pass (FIXME(62277): could be check-pass?)

#![feature(untagged_unions)]

#![allow(dead_code)]
#![allow(unions_with_drop_fields)]

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: T,
}

fn main() {}