`type[tuple[Any, ...]]` should be considered callable

[rchen152]

Describe the Bug

from typing import Any
def f(x: type[tuple[Any, ...]]):
    return x() # Expected a callable, got type[tuple[Any, ...]]

I'd expect pyrefly to report no error in this code.

Sandbox Link

https://pyrefly.org/sandbox/?code=GYJw9gtgBALgngBwJYDsDmUkQWEMoCCKcAUCQCYCmwUwAFAB4BcsilA2jAK4IA2HROABooAOnEBdCQEomJKAqghK3ECigM60oA

(Only applicable for extension issues) IDE Information

No response

[yangdanny97]

This is probably caused by our special representation of tuples

The fix is to change

pyrefly/pyrefly/lib/alt/call.rs

Line 169 in 87ec2dc

Type::Type(box Type::ClassType(cls)) | Type::Type(box Type::SelfType(cls)) => {

to handle Type::Type(Type::Tuple) and generate a Target::Class.

Test can be added to
https://github.com/facebook/pyrefly/blob/main/pyrefly/lib/test/tuple.rs

[krathul]

Hi,
I am interested in working on a fix for this.

[yangdanny97]

Assigned, let me know if you have any questions. Thanks!

[krathul]

I think I need to generate a class::ClassType from a tuple::Tuple. How can I do this ?

[yangdanny97]

@krathul here are some examples: https://github.com/search?q=repo%3Afacebook%2Fpyrefly%20stdlib.tuple(&type=code

[krathul]

Thanks :)