id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
4648	Add support for annotation for turning off replaceable check	Per Östlund	Per Östlund	"#4646 was solved by introducing the --ignoreReplaceable flag for turning off the check that an element is replaceable before redeclaring it. Using this flag can mask actual mistakes by the user, so it would be good to have a more finegrained solution that allows the check to be turned off for an individual modifier. For example:
{{{#!mo
model M
  A a(redeclare model B = C annotation(__OpenModelica_IgnoreReplaceable));
end M;
}}}"	enhancement	new	normal	Future	New Instantiation	v1.13.0-dev-nightly