<<rule>> Transform: Parameter with Unbound Generic-Parameter Type-Argument - To - Parameter with Bound Generic-Class-Parameter Type-Argument

<<forbid, pre>> preClassifierUsedAsTypeArgument : EClassifier <<preserve>> classifierWithTypeParameter : EClassifier <<preserve>> T : ETypeParameter <<preserve>> parameter : EParameter <<preserve>> genericTypeOfTypedElement : EGenericType <<preserve>> typeArgumentOfGenericTypeOfTypedElement : EGenericType <<preserve>> operation : EOperation <<forbid, post>> postNoClassifierUsedAsTypeArgument : EClassifier <<preserve>> toContainingClass : EClass <<create>> newE : ETypeParameter <<preserve>> toClassifierUsedAsTypeArgument : EClassifier <<create>> newBoundGenericType : EGenericType <<create>> newBoundingGenericType : EGenericType <<preserve>> eType <<preserve>> eClassifier <<forbid, pre>> eClassifier <<forbid, post>> eClassifier <<create>> eTypeParameter <<create>> eClassifier <<create>> eClassifier <<preserve>> eTypeParameters <<create>> eBounds <<preserve>> eGenericType <<preserve>> eTypeArguments <<create>> eTypeParameters <<create>> eBounds <<preserve>> eOperation eParameters <<require, post>> eContainingClass eOperations