Dear camlers,

  I obtain an unexpected answer from the toplevel when I enter the
following definition:

        OCaml version 4.03.0+dev7-2015-02-08

# class type ['a] c =
  object
    method m : d
  end
and d =
  object
    inherit [int] c
  end
;;
class type ['a] c = object constraint 'a = int method m : d end
and d = object method m : d end

What surprises me is the constraint 'a = int in the definition of c. Is
this is a bug or feature?

Cheers,
  Philippe.