Skip to content

Handle OverloadedRecordDot in TH (#20185)

Zubin requested to merge wip/T20185 into master

Fixes #20185 (closed)

Also removes the wildcard in repE so that missing syntax in the future will be caught.

Edited by Zubin

Merge request reports