23 lines
422 B
Rust
23 lines
422 B
Rust
// Check that we correctly prevent users from making trait objects
|
|
// form traits that make use of `Self` in an argument or return position.
|
|
|
|
trait Bar<T> {
|
|
fn bar(&self, x: &T);
|
|
}
|
|
|
|
trait Baz : Bar<Self> {
|
|
//~^ ERROR the size for values of type `Self` cannot be known
|
|
}
|
|
|
|
fn make_bar<T:Bar<u32>>(t: &T) -> &dyn Bar<u32> {
|
|
t
|
|
}
|
|
|
|
fn make_baz<T:Baz>(t: &T) -> &dyn Baz {
|
|
//~^ ERROR E0038
|
|
t
|
|
}
|
|
|
|
fn main() {
|
|
}
|