Current LRM makes it illegal to have incompatible continuous disciplines on the same net. Should this be allowed?
[Comment]
If the discipline base potential and flow differ, then the implication is that the drivers/receivers cannot be connected physically, allowing it would require auto-inserting a transducer module - like a connect module, but part of the design rather than a simulation artifact.
If the disciplines are not compatible because of a lack of attribute resolution, the user can just add more connect rules to fix the problem.