~Instead of my ad-hoc method, use normal user-defined warnings in Friendly-console.~
Since the important parts of the warnings (about redefining globals, using type annotations without initializing a variable) are part of the traceback analysis, it does not make sense to keep a slightly better version available only in the friendly console as most users will never see this. Removing it will reduce the maintenance cost.
~Instead of my ad-hoc method, use normal user-defined warnings in Friendly-console.~
Since the important parts of the warnings (about redefining
globals, using type annotations without initializing a variable) are part of the traceback analysis, it does not make sense to keep a slightly better version available only in the friendly console as most users will never see this. Removing it will reduce the maintenance cost.