Original bug ID: 6293
Reporter: elnatan
Assigned to: @gasche
Status: closed (set by @xavierleroy on 2015-12-11T18:27:38Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 4.01.0
Fixed in version: 4.02.0+dev
Category: typing

Bug description

Trying to compile the code below causes an assertion failure in typecore.ml, in both 4.00 and 4.01.

module type S = sig type t = { a : int; b : int; } end
let f (module M : S with type t = int) = { M.a = 0 };;