bughelp wanted
Repository metrics
- Stars
- (1,775 stars)
- PR merge metrics
- (No merged PRs in 30d)
Description
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.