purescript-0.12.0: tests/purs/failing/2567.purs

-- @shouldFailWith NoInstanceFound
module Main where

import Prim.TypeError

foo :: Int
foo = (0 :: Fail (Text "This constraint should be checked") => Int)