Re: [GHC] #12694: GHC HEAD no longer reports inaccessible code