Original bug ID: 5993
Reporter: @garrigue
Assigned to: @garrigue
Status: closed (set by @xavierleroy on 2015-12-11T18:18:39Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 4.01.0+dev
Fixed in version: 4.00.2+dev
Category: typing

Bug description

The following code is accepted by the compiler:

module M : sig type -'a t = private int end = struct type +'a t = private int end

The type system is still sound, since the variance must respect the manifest type,
and the problem is mitigated by the fact the parameter cannot become bivariant,
but when used with objects or polymorphic variants as index, this may still break
the intended semantics for phantom types.