I've been running into some problems with trying to use a 'protocol composition type' (e.g. MyType & MyProtocol, I'll refer to it as a PCT for brevity) with generics, both by trying to use it as a generic constraint and as the parameter to a generic type. This code sample more succinctly shows my problem in less technical words:
If I try to add a constraint on MyGenericClass.T that it must be an AnyObject, I get this error when I declare j: ''MyGenericClass' requires that 'MyClass & MyProtocol' be a class type". I expected that MySubclass would fill the type requirements on the last two lines, but it doesn't - is this intended, or just an overlooked detail due to the way PCTs are implemented?