Skip to content

Revert "Remove SpecConstrAnnotation (#13681)" (#19168)

Sylvain Henry requested to merge hsyl20/ghc:hsyl20/specconstr into master

Revert 7bc3a65b.

Merge request reports