Implicit type conversion?

Hello,
I’m exploring rescript-react and noticed a peculiar behaviour. Here’s my test code:

module MyComponent = {
  @react.component
  let make = () => {
    let (value, setValue) = React.useState(_ => 0)
    <>
      <div> {React.string(string_of_int(value))} </div>
      <input
        onChange={evt => {
          let x = ReactEvent.Form.target(evt)["value"] // 1
          setValue(_ => x) // 2
        }}
      />
    </>
  }
}

What I noticed is that on the line marked with // 1 the type of x is 'a, but on line // 2 hovering over x shows the type int. Why is that? I would expect the compiler to ask me to decode the value of x.

Thank you in advance!

P.S.

• Playground
• a thread on the forum

Bắt đầu với biểu thức ReactEvent.Form.target(evt)["value"] và setter của useState trong component được cung cấp, sau đó tái hiện hành vi bằng Playground được liên kết. So sánh kết quả với thread trên forum được liên kết và xác định xem kiểu được suy luận có phải là chủ đích hay không; công việc được xem là hoàn tất khi hành vi đã được làm rõ hoặc đã xác định được một thay đổi cụ thể trong repository.