33 lines
977 B
Rust
33 lines
977 B
Rust
//@ compile-flags: -Znext-solver
|
|
|
|
// Makes sure that alias bounds are not unsound!
|
|
|
|
#![feature(trivial_bounds)]
|
|
|
|
trait Foo {
|
|
type Item: Copy
|
|
where
|
|
<Self as Foo>::Item: Copy;
|
|
|
|
fn copy_me(x: &Self::Item) -> Self::Item {
|
|
*x
|
|
}
|
|
}
|
|
|
|
impl Foo for () {
|
|
type Item = String where String: Copy;
|
|
//~^ ERROR overflow evaluating the requirement `String: Copy`
|
|
}
|
|
|
|
fn main() {
|
|
let x = String::from("hello, world");
|
|
drop(<() as Foo>::copy_me(&x));
|
|
//~^ ERROR overflow evaluating the requirement `String <: <() as Foo>::Item`
|
|
//~| ERROR overflow evaluating the requirement `<() as Foo>::Item well-formed`
|
|
//~| ERROR overflow evaluating the requirement `&<() as Foo>::Item well-formed`
|
|
//~| ERROR overflow evaluating the requirement `<() as Foo>::Item == _`
|
|
//~| ERROR overflow evaluating the requirement `<() as Foo>::Item == _`
|
|
//~| ERROR overflow evaluating the requirement `<() as Foo>::Item == _`
|
|
println!("{x}");
|
|
}
|