Error with module resolving

The following piece of code should type:

module a = struct
      type t =
      | A
end
module b = a
val x: b::t = a::A

It doesn't.