Re: [GHC] #11465: Eliminate check_lifted check in TcValidity