id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
3995	Union types with type variables cannot index record members	Martin Sjölund	Martin Sjölund	"Union types indexing a record variable loses the type variables in the type:
{{{#!mo
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
}}}"	defect	closed	high	1.11.0	MetaModelica	v1.11.0	fixed