trait Trait { | |
type RefTarget; | |
} | |
impl Trait for () | |
where | |
Missing: Trait, | |
//~^ ERROR cannot find type `Missing` in this scope | |
{ | |
type RefTarget = (); | |
} | |
struct Other { | |
data: <() as Trait>::RefTarget, | |
} | |
fn main() { | |
unsafe { | |
// FIXME(oli-obk): make this report a transmute error again. | |
std::mem::transmute::<Option<()>, Option<&Other>>(None); | |
//^ ERROR cannot transmute between types of different sizes, or dependently-sized types | |
} | |
} |