Skip to content

Remove the Maybe in primRepName's type

Ryan Scott requested to merge wip/T20482 into master

There's no need for this Maybe, as it will always be instantiated to Just in practice.

Fixes #20482 (closed).

Merge request reports