facebook / facebook/pyrefly

doesn't understand usage of inline `Annotated` function parameters

Open
#2,531 4 comments 0 reactions 1 assignee Claimed by @asukaminato0721 View on GitHub
language-server
Dominant language
Rust
Stars
7k
Forks
519
PR merge metrics
No merged PRs in 30d

Description

### Describe the Bug

Image

unlike for `T1`, Pyrefly fails to resolve the type of `utils.ValueRange` when used inline as function parameter. when I hover on the symbol it doesn't show anything.

### Sandbox Link

https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeS4ATrgLYAEALqcROgOZ0Q3G6UN0BBdOlwNUDGJgA66MNXqZxqAMZRUcOPE7de-RWNXq4Mrjz50Arg2jH0MgCoBGOgF5Bw0eMkBtVgwA0ltZQcIQAaqhQFjAAShhsMAAUALSOAAyBaQCUALoyMpgwYHRgFujKiQyOiHROgQwATDVCImISmL7oAUE24ZHRcexJjoHpuVk1hFMg-iBWvWQUcrR0%2BipqGlqmuqtKhhr5dkcAAmv7tud0EVGx8TCIMnRPdFC4NX6PzwAWEO9dh89VkUSrwaOIAProCw0bAwSiJfB-BhZOjJAB8dDgDEoD3QgMBlBgDAslDxYCkIAActDYTi6MB8ABfCkzEBkQlgKCkQgMWhQCgAYjoAAVSByuZiMDgCHRlLhZBA2CTxBB5YQZEKAMowGB0L4MBjEOCIAD0JvZRS5hF4bBNMHQJswuGUcBNcoVSsoKvlJpBlDoqAAbqhoKhsLBZfLIJ7vXjcMRrPLQjIyAwvvLkoG4XBVXi3BSAMyERwNCkyECM2YqaxZgBi0BgFDQWDwREWjKAA

### (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.