Infer Literal type for + on literal
Infer Literal type for + on literal: a task in MiMo-V2.6-RL-oss: Agentic RL Environments (MiMo RL release). Currently this fails: main.py:3: error: Incompatible types in assignment (expression has type "int", variable has type "Literal 1 ") assignment…
The task
Currently this fails: main.py:3: error: Incompatible types in assignment (expression has type "int", variable has type "Literal[1]") [assignment] https://mypy-play.net/?mypy=latest&python=3.10&gist=ca355823e5fdc571fb3efa9c4f0bb764 Pyright allows it; mypy probably should too.…
Part of XiaomiMiMo/MiMo-V2.6-RL-oss.