Re: [GHC] #13243: make test in non-validate configuration fails with a variety of ghci errors