rustc/tests/ui/impl-trait/in-bindings/trait-failure.rs
2025-02-17 11:14:05 +01:00

14 lines
296 B
Rust

#![feature(impl_trait_in_bindings)]
trait Foo {}
struct W<T>(T);
impl<T> Foo for W<T> where T: Foo {}
fn main() {
let x: impl Foo = W(());
//~^ ERROR the trait bound `(): Foo` is not satisfied
let x: W<impl Foo> = W(());
//~^ ERROR the trait bound `(): Foo` is not satisfied
}