Jeet Ray
Jeet Ray
But they are still shown in version 13.8.1 and below; did something change with how rich reads the locals between 13.8.1 and 13.9.0?
Could you guide me through it? I'm not entirely sure how to do so...
Unfortunately, I've also forgotten how the "bug" was raised; I'll close the issue for now, but I'll bisect it if I can reproduce it reliably! Thanks for all the help!
> f("hey") # Works, but shouldn't, because the input is `str` and the output a `Str2`! Doesn't that work just because `Str2` is a subclass of `str`?
Wait, this time, aren't the constraints functioning as a union of types now, though?
Why not get the type of the argument passed to the function, find the index of the type in the constraint, then check the index of the return type in...
I'll try my best, but it'll take me a while to understand the code base; which files would you recommend I look at, other than `types.py`?
Is there any function in the codebase you can think of that gets the argument type, the argument annotation, the return type, and the return annotation? Or a series of...
> Thinking about it, I think all that might be required is a matching algorithm that attempts to determine the values of the type parameters (the first hit suffices) and...
Oof; this is getting a little too confusing for me... 😅 Would we not also have to match the type of the return value as well as the arguments provided...