GitHub repository: lampepfl/dotty-feature-requests
Created: 2019-05-28T12:05:12Z
Description: Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-requests