Safe import should not be accepted
{-# LANGUAGE Unsafe #-}
module Bug where
import safe Unsafe.Coerce
I think this should be rejected. It is rejected by 8.10 and 9.0, accepted by HEAD.
Results are the same if I use Trustworthy
instead of Unsafe
. If I use Safe
, HEAD rejects.