Re: [GHC] #11242: GHCi ignores -fno-warn-typed-holes