test-suite/success/coercions.v


1
2
3
4
5
6
7
8
9
10
11

(* Interaction between coercions and casts *)
(*   Example provided by Eduardo Gimenez   *)

Parameter Z,S:Set.

Parameter f: S  -> Z.
Coercion  f: S >-> Z.

Parameter g : Z -> Z.

Check [s](g (s::S)).