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

Inizia con l’espressione ReactEvent.Form.target(evt)["value"] e il setter di useState nel componente fornito, quindi riproduci il comportamento utilizzando il Playground collegato. Confronta il risultato con il thread del forum collegato e determina se il tipo inferito è intenzionale; il lavoro è completo quando il comportamento è stato chiarito o è stata identificata una modifica concreta al repository.