Re: [GHC] #11013: GHC sometimes forgets to test for hs-boot consistency