18 lines
349 B
Rust
18 lines
349 B
Rust
trait Trait {
|
|
type RefTarget;
|
|
}
|
|
|
|
impl Trait for () where Missing: Trait {}
|
|
//~^ ERROR cannot find type `Missing` in this scope
|
|
//~| ERROR not all trait items implemented, missing: `RefTarget`
|
|
|
|
struct Other {
|
|
data: <() as Trait>::RefTarget,
|
|
}
|
|
|
|
fn main() {
|
|
unsafe {
|
|
std::mem::transmute::<Option<()>, Option<&Other>>(None);
|
|
}
|
|
}
|