purescript-0.15.0: tests/purs/failing/3531-3.purs

-- @shouldFailWith NoInstanceFound
module Main where

import Prim.TypeError (class Fail, Text)

class C x where
  thing :: x -> x

data X a b = X

test1 :: forall r. X { foo :: Int | r } { foo :: Int }
test1 = X

instance cx :: C (X x x) where
  thing x = x

else instance cxFail :: Fail (Text "Fell through") => C (X x y) where
  thing x = x

test2 :: Boolean
test2 = do
  let X = thing test1
  true