// run-pass #![allow(dead_code)] fn f() -> bool { enum E { V(T) } struct S(T); true } fn main() { let b = f::(); assert!(b); }