Bug Report

[KlattertradetAB]

Describe the Bug

from typing import *

def test(x: int):
    return x + 1

reveal_type(test(42))

Python: 3.12

Sandbox Link

https://pyrefly.org/sandbox/?project=v2.I6HI1IIlUJDRGhVWwOAvgaUXaFqpUNBWMAQpQyqTNMDKTYw0gZGCGWbKCgEQAQWo9cDSAhjY6aXAMgkYiHoxecrA4ihVIaOkpKDYSl8fpj2_KF0_NU8_JT-5WB9Fh74CKHkkliVmgks6VOMU8sFxXAw0lpLIUofElTq-qFIHxRRQBd7QBwA

(Only applicable for extension issues) IDE Information

No response

[stroxler]

Thanks for the issue! What is the bug you see here?