Conformance: Module with unannotated attributes rejected as protocol implementation #2414
Description
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