`pyrefly infer` not applying any annotations

[ssomayyajula]

Describe the Bug

Running pyrefly infer --untyped-def-behavior check-and-infer-return-type --infer-with-first-use=true --containers=true --return-types=true --parameter-types=true --imports=true test.py on pyrefly 0.46.0 where test.py is:

s = 'x'

Produces no annotations (final result is the same file as above). Not sure if this is expected behavior. Thanks in advance!

Sandbox Link

No response

(Only applicable for extension issues) IDE Information

No response

[maggiemoss]

Hi @ssomayyajula I intentionally didn't add this functionality since the most valuable annotations are often parameters and return types. So something like

def foo():
     x = 'x'
     return x 

should result in a new return annotation.

I'm curious though, is there a use case where you'd want it to add annotations to variables like your example?

[github-actions]

This issue has someone assigned, but has not had recent activity for more than 2 weeks.

If you are still working on this issue, please add a comment so everyone knows. Otherwise, please unassign yourself and allow someone else to take over.

Thank you for your contributions!

[samwgoldman]

Closing as not planned. Feel free to reply with feedback and we will definitely consider re-opening with a clearer scope.