mirror of https://github.com/rust-lang/rust
14 lines
322 B
Rust
14 lines
322 B
Rust
trait Foo<T> {
|
|
type Bar
|
|
where
|
|
Self: Foo<()>;
|
|
}
|
|
|
|
trait Cake {}
|
|
impl Cake for () {}
|
|
|
|
fn foo(_: &dyn Foo<()>) {} //~ ERROR: the value of the associated type `Bar` in `Foo` must be specified
|
|
fn bar(_: &dyn Foo<i32>) {} //~ ERROR: the value of the associated type `Bar` in `Foo` must be specified
|
|
|
|
fn main() {}
|