id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
5837	Unit checking is not performed on operator record equations	Francesco Casella	Per Östlund	"Consider the following test case:
{{{
partial model M
  Modelica.SIunits.ComplexVoltage v;
  Modelica.SIunits.ComplexCurrent i;
  Modelica.SIunits.ComplexImpedance Z;
  Modelica.SIunits.ComplexAdmittance Y;
  Modelica.SIunits.Reactance X;
equation
  i = Z*i;
  Y = Complex(0,X);
  Z = Y;
  Z + Y = Complex(0);
end M;
}}}
All the equations are obviously wrong, and unit checking could easily allow to spot the errors. Unfortunately, if I check the model in OMEdit I get no error or warning at all.

When doing unit checking of record equations, we should carry out unit inference through all the operators and make sure all the equivalent Real equations are dimensionally consistent."	defect	new	blocker	2.0.0	New Instantiation