mirror of https://github.com/rust-lang/rust
37 lines
696 B
Rust
37 lines
696 B
Rust
#![allow(bare_trait_objects)]
|
|
trait NotObjectSafe {
|
|
fn foo() -> Self;
|
|
}
|
|
|
|
struct A;
|
|
struct B;
|
|
|
|
impl NotObjectSafe for A {
|
|
fn foo() -> Self {
|
|
A
|
|
}
|
|
}
|
|
|
|
impl NotObjectSafe for B {
|
|
fn foo() -> Self {
|
|
B
|
|
}
|
|
}
|
|
|
|
fn car() -> dyn NotObjectSafe { //~ ERROR the trait `NotObjectSafe` cannot be made into an object
|
|
//~^ ERROR return type cannot have an unboxed trait object
|
|
if true {
|
|
return A;
|
|
}
|
|
B
|
|
}
|
|
|
|
fn cat() -> Box<dyn NotObjectSafe> { //~ ERROR the trait `NotObjectSafe` cannot be made into an
|
|
if true {
|
|
return Box::new(A); //~ ERROR cannot be made into an object
|
|
}
|
|
Box::new(B) //~ ERROR cannot be made into an object
|
|
}
|
|
|
|
fn main() {}
|