Re: [GHC] #11179: Allow plugins to access "dead code"