When creating a dynamic instance of C1, both the "sample reflective ecore model editor" and the "generic emf form editor" allow me to add insert child objects of type P1 and P2, i.e. C1's type parameter D1 is not bound to the "ports" reference.

My question: Is this the intended semantics of Ecore generic types, or is this simply a restriction of the two editors mentioned above? AFAICT from the genmodel source code and what I remember from Java Generics, the available types for the types reference should be restricted to P1?