bughelp wanted
Repository metrics
- Stars
- (1,775 stars)
- PR merge metrics
- (30d に merged PR はありません)
説明
The cfor macro accidentally generated the desired code by using a bug in beta-reduction. This bug will be patched https://github.com/lampepfl/dotty/pull/16390 and cfor will need to be updated.