liquidhaskell-0.9.0.2.1: tests/pos/Div000.hs

module Div000 (bar) where

{-@ mydiv :: Int -> {v:Int | v /= 0} -> Int @-}
mydiv :: Int -> Int -> Int
mydiv = undefined

foo :: Int -> Int
foo _ = 12

bar :: Int -> Int
bar m = mydiv m z where z = foo m