Skip to content

Don't mark lambda binders as OtherCon

Andreas Klebinger requested to merge wip/andreask/ww_othercon into master

Implements most of the proposals in #21497 (closed).

Needs proper commit message. Will likely fix #21472 (closed)

Edited by Simon Peyton Jones

Merge request reports