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