Skip to content
Back to pull request #14105

Include generic arguments when suggesting a closure η-reduction #818

Sign in to view logs

Include generic arguments when suggesting a closure η-reduction

Include generic arguments when suggesting a closure η-reduction #818

Run time

Learn about OS pricing on GitHub Actions
Job Run time
base
4m 18s
conclusion
1s
4m 19s