Use cases for module attributes besides module type (original) (raw)

The initial use case for module attributes is types, but module attributes had been previously discussed over several years. Some other possible use cases:

For each of these, there would be a significantly greater amount of investigative work to make a real proposal. This repository does not aim to do that work, but I'd like to just understand a bit more about the broader space. Some questions to discuss in this issue: