Describe the Bug
When a module has unannotated assignments like x = 100, pyrefly infers Literal[100] for the export. If that module is used as a protocol implementation where the protocol expects int, pyrefly incorrectly rejects it.
Sandbox Link
No response
(Only applicable for extension issues) IDE Information
No response
Describe the Bug
When a module has unannotated assignments like
x = 100, pyrefly infersLiteral[100]for the export. If that module is used as a protocol implementation where the protocol expectsint, pyrefly incorrectly rejects it.Sandbox Link
No response
(Only applicable for extension issues) IDE Information
No response