Skip to content

Fix: preserve type applications in record patterns#1680

Open
mgajda wants to merge 1 commit into
ndmitchell:masterfrom
mgajda:fix/record-patterns-type-applications
Open

Fix: preserve type applications in record patterns#1680
mgajda wants to merge 1 commit into
ndmitchell:masterfrom
mgajda:fix/record-patterns-type-applications

Commits

Commits on Apr 19, 2026