Error found:
in module Main
at tests/purs/failing/CoercibleClosedRowsDoNotUnify.purs:7:12 - 7:18 (line 7, column 12 - line 7, column 18)

  Could not match type
              
    ( x :: Int
    ...       
    )         
              
  with type
                 
    ( y :: String
    ...          
    )            
                 

while solving type class constraint
                                     
  Prim.Coerce.Coercible { x :: Int   
                        }            
                        { y :: String
                        }            
                                     
while checking that type forall (a :: Type) (b :: Type). Coercible @Type a b => a -> b
  is at least as general as type { x :: Int      
                                 }               
                                 -> { y :: String
                                    }            
while checking that expression coerce
  has type { x :: Int      
           }               
           -> { y :: String
              }            
in value declaration recToRec

See https://github.com/purescript/documentation/blob/master/errors/TypesDoNotUnify.md for more information,
or to contribute content related to this error.