Incorrect highlighting when using type constraints

[pascutto]

Hi there !
Here is some report about code breaking syntax highlighting in OCaml, while accepted by the compiler :

let cast t = (t :> [`Read | `Write] t)

 let batch_noop t f =
   f (cast t)

And here is the sample output :