Original bug ID: 7395
Reporter: @nojb
Assigned to: @garrigue
Status: resolved (set by @garrigue on 2016-10-27T21:11:06Z)
Resolution: fixed
Priority: normal
Severity: minor
Fixed in version: 4.04.0 +dev / +beta1 / +beta2
Category: typing
Child of: #7391

Bug description

Commit 9a2015 seems caused a small regression in the typechecker:

type u
type 'a t = u
let c (f : u -> u) =
object
method apply: 'a. 'a t -> 'a t = fun x -> f x
end

no longer typechecks. To fix it is enough to add some type annotation:

...
method apply: 'a. 'a t -> 'a t = fun x -> (f : u -> u) x
...