Re: [GHC] #11518: Test TcCoercibleFail hangs with substitution sanity checks enabled