Should `--preset=basic` show `reveal_type`?

Đã đóng

#5,571 mở ngày 7/11/2026 0 bình luận 0 reaction 1 người được giao Xem trên GitHub

@MarcoGorelli đang làm issue này rồi.

Từ ngày 7/11/2026.

#5573 của @MarcoGorelli — đã đóng, không merge

Đánh giá

Issue này chưa được đánh giá.

Mô tả

quansight

Describe the Bug

from typing import reveal_type

reveal_type(1)

$ pyrefly check t.py --preset=basic
 INFO 0 errors

I think reveal_type should always output?

Sandbox Link

No response

(Only applicable for extension issues) IDE Information

No response

Ngôn ngữ chính: Rust
Star: 7.2k
Fork: 578
Chỉ số merge pull request: Không có pull request nào được merge trong 30 ngày

Chuẩn bị môi trường

Không có Dockerfile hay tệp Docker Compose
Có mẫu pull request
Đọc hướng dẫn đóng góp

Bắt đầu từ đâu

Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
Fork repository và làm thay đổi trên một nhánh.
Mở pull request có tham chiếu số hiệu của issue.

Issue khác của facebook/pyrefly

Pyrefly shows inprecise method signature for __init__ when inheriting from builtin classes
Đang mở
- Có gì không ổn?
language-server

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 52/100

facebook/pyrefly#5589 · Mở ngày 8/11/2026
`hasattr(v, "__iter__")` does not narrow `int | Iterable[int]`
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

facebook/pyrefly#5582 · Mở ngày 8/11/2026
Walrus in the right operand of `and` does not narrow the assigned name
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 55/100

facebook/pyrefly#5581 · Mở ngày 8/11/2026
Attribute access after `if sys.platform != ...: return` is checked against the current platform
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 54/100

facebook/pyrefly#5580 · Mở ngày 8/11/2026
`not-a-type` for an exception tuple extended with `+=` and used in `except`
Đang mở
- Có gì không ổn?
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100

facebook/pyrefly#5579 · Mở ngày 8/11/2026

Tất cả issue của facebook/pyrefly

Issue tương tự

CUBECL_CUDA_DUMP_PTX: file names collide across comptime variants of a kernel
Đang mở
- Có gì không ổn?
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100

tracel-ai/cubecl#2107 · Mở ngày 9/11/2026

Maintainer thường phản hồi trong vòng 1 ngày
[Bug] The Catppuccin Mocha theme doesn't work
Đang mở
- Có gì không ổn?
bug

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 66/100

kashsuks/Pinel#122 · 1 bình luận · Mở ngày 9/11/2026
IPC restart journey can find no job to pause because the download already finished
Đang mở
- Có gì không ổn?
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 82/100

aosama/astronomical#1973 · Mở ngày 9/11/2026

Maintainer thường phản hồi trong vòng 1 ngày
Settings: "clear thumbnails" text size counts the ONNX Runtime library, and panics when models is a symlink ##
Đang mở
- Có gì không ổn?
bug triage

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 84/100

xevrion/gyotaku#30 · Mở ngày 9/11/2026

Maintainer thường phản hồi trong vòng 6 ngày
partial: host binding map keys are not always quoted like ngtsc (`click:` vs `"click":`)
Đang mở
- Có gì không ổn?
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 76/100

voidzero-dev/oxc-angular-compiler#686 · Mở ngày 9/11/2026

Maintainer thường phản hồi trong vòng 1 ngày

Thêm issue về Rust

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.