while((it = typeParameters.next()) != finished_.get_()){

            com.redhat.ceylon.compiler.java.runtime.metamodel.FreeTypeParameter tp = (com.redhat.ceylon.compiler.java.runtime.metamodel.FreeTypeParameter) it;

            com.redhat.ceylon.compiler.typechecker.model.TypeParameter tpDecl = (com.redhat.ceylon.compiler.typechecker.model.TypeParameter) tp.declaration;

            com.redhat.ceylon.compiler.typechecker.model.ProducedType ptArg = ptArguments.get(tpDecl);

            typeArguments.put(tp, ptArgWrapped);

        }

        this.typeArguments = new InternalMap<ceylon.language.meta.declaration.TypeParameter,

                                             ceylon.language.meta.declaration.OpenType>(ceylon.language.meta.declaration.TypeParameter.$TypeDescriptor$,

                                                                                             ceylon.language.meta.declaration.OpenType.$TypeDescriptor$,

        ceylon.language.meta.declaration.OpenType[] ret = new ceylon.language.meta.declaration.OpenType[types.size()];

        int i=0;

        TypeDescriptor td = TypeDescriptor.NothingType;

        for(ProducedType pt : types){

            td = TypeDescriptor.union(((ReifiedType)mm).$getType$());

            ret[i++] = mm;

        }

        return Util.sequentialWrapper(td, ret);

    }