Add rule that super
in an extension type member is an error#3364
Merged
eernstg merged 1 commit intomainfrom specify_extension_type_super_error_sep23Sep 21, 2023
+8
super
in an extension type member is an error#3364