6 lines
84 B
Rust
6 lines
84 B
Rust
|
trait Foo {
|
||
|
type Arg<'a>;
|
||
|
}
|
||
|
|
||
|
struct Bar<T>(T) where for<'a> T: Foo<Arg<'a> = ()>;
|