blob: 1a2ff8c47058ee5da0a4a5ff3fdc89c6f0793682 [file] [log] [blame]
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
}
}