We'd like to enforce some limitations to ensure the design of staticInterop classes matches static views (the future language feature that will be used to implement JSInterop in the future.) and supports the needs of JSinterop overall.

Some checks may include:

• Type parameters are not allowed in extensions or extension methods themselves
• Disallow generative constructors
• Potentially disallow . delimiters in renaming for non-top level members if such a restriction does not exist already