liquidhaskell-0.8.10.7: tests/terminate/neg/T1404.0.hs

module Absurd where

{-@ absurd :: {False} @-}
absurd :: a
absurd = let loop x = loop x in
  loop ()

{-@ oneIsTwo :: {1 == 2} @-}
oneIsTwo :: ()
oneIsTwo = absurd