Fixes for built-in names (#25182, #25174)
Related merge request !13864 to merge wip/int-index/ghc-9.12-backport-25182-25174
merge request
17 jobs
168 minutes 1 second, queued for 10 seconds