Linear types: desugaring of mixed alternatives
The following program fails a linearity check with -dcore-lint
{-# LANGUAGE LinearTypes #-}
module M where
f :: Bool %1 -> Bool
f True = True
f x = x
This is best investigated after !10333 (closed), because it involves a DEFAULT alternative, which is currently mishandled.