Wieso ein Anwendungsbeispiel? Das verhindert einfach schwer zu findende (Tipp-)Fehler und sorgt für eine einheitliche Schreibweise. Ich fänd’s auch ein sinnvolles Feature.
Dann verstehe ich den Vorschlag, denke ich, noch nicht so ganz.
Es geht dir also darum, daß Symbole die sich nur durch Groß-/Kleinschreibung unterscheiden angeprangert werden? Innerhalb der üblichen Namensraumregeln oder wie?
Also ich persönlich sehe da potentielle Konflikte und würde das wenn schon denn schon als Compiler-
Warnungen, aber nicht als Restriktion nehmen.