IDE: Visual Studio X/Fire
Version: 10.0.0.2413 (develop)
Target (If relevant): OSX
Description:
Within a protocol P, Self should implicitly conform to P, even for the purpose of instantiating a generic for a default for an associated type.
Expected Behavior:
Compiles.
Actual Behavior:
See below.
Steps:
struct S<T: P> {}
protocol P {
associatedtype A = S<Self> // E210 Generic parameter doesn't fulfill constraint "P<A>" for "T"
}