Commit 716bf005 authored by Ben Gamari's avatar Ben Gamari 🐢

Merge branch 'wip/T18774' into 'master'

Fix GHC #18774

Closes ghc#18774 and #1

See merge request !10
parents 404f4db2 8350819c
Pipeline #25771 passed with stages
in 7 minutes and 52 seconds