Union types with type variables cannot index record members

[Martin Sjölund]

Union types indexing a record variable loses the type variables in the type:

loadString("
encapsulated uniontype DE<T>

record DER
  T t;
end DER;

end DE;

uniontype Union
  record R
    DE<Integer> de;
  end R;
end Union;

function f
  input Union un;
protected
  DE<Integer> i;
algorithm
  i := un.de;
end f;
");

r := R(DE.DER(1));
getErrorString();
f(r);
getErrorString();

Error: Type mismatch in assignment in i := un.de of DE<#Integer> := DE.DER

[Martin Sjölund]

Fixed in c06dade