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

提供されたコンポーネント内の ReactEvent.Form.target(evt)["value"] 式と useState セッターから始め、リンク先の Playground を使って動作を再現します。結果をリンク先のフォーラムスレッドと比較し、推論された型が意図的なものかどうかを判断します。動作が明確になるか、リポジトリへの具体的な変更が特定できれば完了です。