Re: [GHC] #15745: Panicking typechecker plugins