Safe import should not be accepted
{-# LANGUAGE Unsafe #-}
module Bug where
import safe Unsafe.CoerceI 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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information