blob: 4828155ba394734c7e044edfa4eefddb867da091 [file] [log] [blame]
//@ check-pass
struct Struct;
trait Trait {
type Type;
}
enum Enum<'a> where &'a Struct: Trait {
Variant(<&'a Struct as Trait>::Type)
}
fn main() {}