mirror of
https://git.proxmox.com/git/rustc
synced 2025-08-04 11:15:38 +00:00
11 lines
283 B
Rust
11 lines
283 B
Rust
// Tests that a default impl still has to have a WF trait ref.
|
|
|
|
#![feature(specialization)] //~ WARN the feature `specialization` is incomplete
|
|
|
|
trait Foo<'a, T: Eq + 'a> { }
|
|
|
|
default impl<U> Foo<'static, U> for () {}
|
|
//~^ ERROR the trait bound `U: Eq` is not satisfied
|
|
|
|
fn main(){}
|