Thomas Karcher on Nostr: nprofile1q…8slxn What happened to the idea/proposal to implement an "@override" ...

nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqxlm22dggfnnfutmhlm5psyyfc6rvneyjmpaswnumqytfgm639j8q78slxn (nprofile…slxn) What happened to the idea/proposal to implement an "@override" keyword? https://github.com/godotengine/godot-proposals/issues/3936 Wouldn't this solve this issue? It would not only prevent you from accidentally overwriting methods, but would also enable editor warnings when using @override without super().