Re: [GHC] #12780: Calling "do nothing" type checker plugin affects type checking when it shouldn't