Error found:
in module Main
at tests/purs/failing/CoercibleForeign3.purs:9:20 - 9:26 (line 9, column 20 - line 9, column 26)

  Could not match type
      
    b2
      
  with type
      
    c3
      

while solving type class constraint
                                           
  Prim.Coerce.Coercible (Foreign @k0 a1 b2)
                        (Foreign @k0 a1 c3)
                                           
while checking that type forall (a :: Type) (b :: Type). Coercible @Type a b => a -> b
  is at least as general as type Foreign @k0 a1 b2 -> Foreign @k0 a1 c3
while checking that expression coerce
  has type Foreign @k0 a1 b2 -> Foreign @k0 a1 c3
in value declaration foreignToForeign

where k0 is a rigid type variable
        bound at (line 9, column 20 - line 9, column 26)
      a1 is a rigid type variable
        bound at (line 9, column 20 - line 9, column 26)
      b2 is a rigid type variable
        bound at (line 9, column 20 - line 9, column 26)
      c3 is a rigid type variable
        bound at (line 9, column 20 - line 9, column 26)

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