liquidhaskell-0.9.0.2.1: tests/pos/ReflectAlias.hs

-- See LH #1086 

{-# LANGUAGE ScopedTypeVariables #-}

module ReflectAlias where

type Val = Int

{-@ reflect poo @-}
poo :: Int -> Int
poo y = (\(x :: Val) -> x + 1) y