facebook / facebook/pyrefly

Inferred literal string incompatible with str.

Open
#3,377 1 comment 0 reactions 0 assignees View on GitHub
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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.