`*` is not supported between `list[dict[str, Unknown | None]]` and `Literal[1000]` [unsupported-operation]

[MarcoGorelli]

Describe the Bug

_ = ([{"col": None}] * 1000)

ERROR sandbox.py:1:6-28: `*` is not supported between `list[dict[str, Unknown | None]]` and `Literal[1000]` [[unsupported-operation](https://pyrefly.org/en/docs/error-kinds/#unsupported-operation)]
  Argument `list[dict[str, Unknown | None]]` is not assignable to parameter `self` with type `list[dict[str, Unknown | None]]` in function `list.__mul__`

I think multiplying a list by an integer should always be supported?

Sandbox Link

https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeSIA%2BgAQC81AFANrAA6IAxrlO4tQHK50MAL4BdagCpqARgAMCgJQgANCDIAnGGCilCAF1wBbKBQDE1AAqktO0tTRY8%2Bal3SQA5gFcNqfRCFCVnQLAGUYGGoAC319YjhEAHpEzW1dQlwND0SYdETMXA44RLdPHz8AvOowTOpUADdUaFRsWFchMt9-IWpcYm70OCD0Mn0ooQBaepgNOEq6anYAZkIZACZ2YKYZjUy4MWCvdAgjYkz9GEwJzAgtDn9phYByCA90TJgn4Pf9Ca0ARy8t0uEwA1jBSBNUBwOPA4M8AO6oDToL7oEAiNTQh4wABi0BgFEcOAIJHIIiAA

(Only applicable for extension issues) IDE Information

No response