I am teaching an undergraduate project-based course, where my students are using KiCad.
One mistake that I have noticed students make is that two power symbols are accidentally connected together. For example +5V could be shorted to GND because a decoupling capacitor was replaced by a short when copying from a reference design.
This situation does not raise any errors or warnings in the electrical rules checker, yet I think it would almost always indicate a mistake, rather than a deliberate design choice. If two nets with different names are intended to be connected, this should be indicated by a net tie.
I tried inspecting the netlist (either by exporting to a file, or the netlist inspector in PCBNew), and there isn’t any indication that the single net originally had two names coming from two different power symbols - this information just seems to be lost.
Is there any way to force the Electrical Rules Checker to flag this as an error, or is there some way to easily see that two different user-specified names exist for this net?