liquidhaskell-0.8.0.2: tests/todo/UseBound.hs

module UseBound where

import ImportBound

-- This crashes because the type of `by` has a bound Chain that
-- is unknown at import

myby = by