Original bug ID: 6716
Reporter: @yallop
Assigned to: @garrigue
Status: resolved (set by @garrigue on 2014-12-16T01:40:33Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 4.03.0+dev / +beta1
Fixed in version: 4.03.0+dev / +beta1
Category: typing
Related to: #6163 #7372
Monitored by: @gasche @hcarty

Bug description

$ cat bug.ml
type _ c = C : [A] c type t = T : {x:[<A] c} -> t
let f (T { x = C }) = ()
$ ocamlc bug.ml
Fatal error: exception File "typing/ctype.ml", line 1990, characters 19-25: Assertion failed