pyrefly icon indicating copy to clipboard operation
pyrefly copied to clipboard
verified publisher icon facebook

reveal_type should produce an INFO not an ERROR

Open ndmitchell opened this issue 7 months ago • 1 comments

Describe the Bug

Requires us to have different levels (e.g. info, warn, err) in our ErrorCollector.

Sandbox Link

No response

(Only applicable for extension issues) IDE Information

No response

ndmitchell avatar May 20 '25 15:05 ndmitchell

This would also unblock deprecated warnings and other non-error signals

yangdanny97 avatar May 20 '25 17:05 yangdanny97

Fixed in 2126605f5ea37edf6a4d1482580736dc37672a00

yangdanny97 avatar Jun 05 '25 02:06 yangdanny97