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

conclusion

conclusion
succeeded Jan 29, 2025 in 0s