liquidhaskell-0.8.0.2: tests/todo/Unsound.hs
module Unsound where
{-@ assume magic :: {v:() | false} @-}
magic :: ()
magic = undefined
bar = head []module Unsound where
{-@ assume magic :: {v:() | false} @-}
magic :: ()
magic = undefined
bar = head []