I am trying the new VariadicGenerics experimental feature and I struggle to do something.
struct Foo<T, each V> {
}
protocol SimpleFoo {
// ...
}
// here I'm trying to extend Foo when V = Pack{} ie Self is Foo<T>
extension Foo where ??? {
// Implement conformance to SimpleFoo
}
I tried various variants but I didn't found one that is accepted.
The most obvious to me was: where (repeat each V) == ()
Is it possible and I missed the way to do it ?
Is it a limitation of the current implementation ?
Will it be possible in the future ?
@Slava_Pestov I encountered several crashes or type checking failure continuing to test this feature.
As it is still in development, should I report the crashes / failure on Github if I manage to reproduce in a sample code ? I don't want to add too much noise on a feature still in development