Core Lint errors : in result of Static argument
This gives "Core Lint errors : in result of Static argument" for 8.10.0.20191123. The log is here log.txt, it's an old version and I think it has been fixed but it can be added as a regression test.
{-# Language DeriveFunctor #-}
{-# Options_GHC -O2 -fstatic-argument-transformation -dcore-lint -fobject-code #-}
import Control.Applicative
newtype Ok a = Ok [a]
deriving Functor
instance Applicative Ok where
pure = undefined
liftA2 (·) (Ok (a:as)) bs = liftA2 (·) (Ok as) bs