Original bug ID: 6394
Reporter: @alainfrisch
Assigned to: @garrigue
Status: closed (set by @xavierleroy on 2015-12-11T18:26:50Z)
Resolution: fixed
Priority: normal
Severity: minor
Fixed in version: 4.02.0+dev
Category: typing

Bug description

It is possible to reach the "assert false" in Typecore.expand_path with the following code:

module rec X : sig
type t = int * bool
end = struct
type t = A | B
let f = function A | B -> 0
end

Returning the "p" argument instead of failure seems to fix the problem, but I'd prefer if someone more knowledgeable could confirm this is the right fix.