id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
1182	Multiple class definitions with the same name are possible	AlexeyLebedev	AlexeyLebedev	"It is possible to have multiple class definitions with the same name within the same scope without an error generated:
{{{model A
  record T
    Real r;
  end T;  
  type T=Real;
end A;}}}
It is also possible to have one class definition in a scope and another inherited:
{{{model A
  record T
    Real r;
  end T;  
end A;

model B
  extends A;
  type T=Real;
end B;}}}"	defect	closed	high		Instantiation		fixed		AlexeyLebedev