Inferred literal string incompatible with str.
Open
typechecking
- Dominant language
- Rust
- Stars
- 7k
- Forks
- 516
- PR merge metrics
- No merged PRs in 30d
Description
### Describe the Bug
```python
lines = []
lines.append("asdf" * 2)
wat = {"wat": "adsf"}
lines.append(wat["wat"])
```
produces
```
ERROR Argument `str` is not assignable to parameter `object` with type `LiteralString` in function `list.append` [bad-argument-type]
--> test.py:4:14
|
4 | lines.append(wat["wat"])
| ^^^^^^^^^^
|
INFO 1 error
```
whereas
```python
lines = []
lines.append("asdf")
wat = {"wat": "adsf"}
lines.append(wat["wat"])
```
produces no issues
### Sandbox Link
_No response_
### (Only applicable for extension issues) IDE Information
_No response_
Contributor guide
Assessment
This issue has not been assessed yet.