type 'a opt' = int option
let foo' (type a) ?(bar : a opt') () = ()
* Similar to [ Bugs ] , but the printed type of [ ~bar ] should be [ int ] , not 
     [ ' a ] . This probably requires fixing in the compiler . See 
     { : #issuecomment-433226807 } .
    ['a]. This probably requires fixing in the compiler. See
    {:#issuecomment-433226807}. *)


type 'a opt' = int option
let foo' (type a) ?(bar : a opt') () = ()
* Similar to [ Bugs ] , but the printed type of [ ~bar ] should be [ int ] , not 
     [ ' a ] . This probably requires fixing in the compiler . See 
     { : #issuecomment-433226807 } .
    ['a]. This probably requires fixing in the compiler. See
    {:#issuecomment-433226807}. *)

