liquidhaskell-0.8.10.1: tests/import/client/NameClashClient.hs

module NameClashClient where 

import qualified NameClashLib as Lib 

data Foo = FooClient Int

{-@ bar :: FooAlias -> Nat @-}
bar :: Lib.Foo -> Int 
bar _ = 20 

baz = Lib.foo