1. type api = <
2. f : string -> unit
3. >
5. class impl = object
6. method f (s:string) = ()
7. method g = ()
8. end
10. type t = {
11. impl : api;
12. }
14. let something = {
15. impl = new impl; (* Error: This expression has type impl but an expression was expected of type api The second object type has no method g *)
16. }