PR #21551 [ty] Infer typevar specializations for `Callable` types

add more sequents

dcreager committed 246 days ago

add for_each_path

dcreager committed 246 days ago

it's a start

dcreager committed 246 days ago

add ConstraintSetAssignability relation

dcreager committed 246 days ago

use constraint set assignable

dcreager committed 246 days ago

it works!

dcreager committed 246 days ago

these need to be positional only to be assignable

dcreager committed 246 days ago

this gets recursively expanded now

dcreager committed 246 days ago

clean up the diff

dcreager committed 246 days ago

Merge remote-tracking branch 'origin/main' into dcreager/callable-return

dcreager committed 240 days ago

mark these as TODO

dcreager committed 240 days ago

mdlint

dcreager committed 240 days ago

hackity hack

dcreager committed 240 days ago

clippity bippity

dcreager committed 240 days ago

Merge remote-tracking branch 'origin/main' into dcreager/callable-return

dcreager committed 240 days ago

don't create T ≤ T constraints

dcreager committed 240 days ago

carry over failing test from conformance suite

dcreager committed 240 days ago

even more hack

dcreager committed 240 days ago

fix tests

dcreager committed 240 days ago

Merge remote-tracking branch 'origin/main' into dcreager/callable-return

dcreager committed 240 days ago

add failing tests

dcreager committed 240 days ago

allow multiple overloads/callables when inferring

dcreager committed 240 days ago

use self annotation in synthesized __init__ callable

dcreager committed 240 days ago

doc

dcreager committed 240 days ago

self

dcreager committed 240 days ago

skip non-inferable

dcreager committed 239 days ago

generic

dcreager committed 239 days ago

fix test

dcreager committed 239 days ago

catch self-referential typevars

dcreager committed 239 days ago

use ConstraintSetAssignability for constraint bounds

dcreager committed 239 days ago

treat each overload separately

dcreager committed 239 days ago

format, really?!?!

dcreager committed 239 days ago

Merge remote-tracking branch 'origin/main' into dcreager/callable-return

dcreager committed 238 days ago

pull this out into a helper method

dcreager committed 238 days ago

Merge remote-tracking branch 'origin/main' into dcreager/callable-return

dcreager committed 237 days ago

cs assignability for paramspecs

dcreager committed 237 days ago

don't throw away return type

dcreager committed 237 days ago

oh hey that's a real bug

dcreager committed 237 days ago

different TODO explanation for overload example

dcreager committed 237 days ago

callable invariance rears its head again

dcreager committed 237 days ago

Revert "skip non-inferable"

dcreager committed 237 days ago

do this at the overloads level

dcreager committed 237 days ago

gotta get those return types too

dcreager committed 235 days ago

don't pivot on never or object

dcreager committed 235 days ago

not failing anymore

dcreager committed 235 days ago

any here

dcreager committed 235 days ago

update test TODOs

dcreager committed 235 days ago

clippy

dcreager committed 235 days ago

Merge remote-tracking branch 'origin/main' into dcreager/callable-return

dcreager committed 235 days ago

group typevars by binding context

dcreager committed 234 days ago

abstract over any mention of a typevar

dcreager committed 234 days ago

skip current type when specializing

dcreager committed 234 days ago

Merge remote-tracking branch 'origin/main' into dcreager/callable-return

dcreager committed 233 days ago

add more comments

dcreager committed 233 days ago

Merge remote-tracking branch 'origin/main' into dcreager/callable-return

dcreager committed 231 days ago

update tests

dcreager committed 231 days ago

clean up the diff

dcreager committed 231 days ago

bump expected diagnostics for static-frame

carljm committed 231 days ago

add mapping for lower bound too

dcreager committed 231 days ago

no really

dcreager committed 231 days ago

whelp those are backwards

dcreager committed 231 days ago

calculate variance from parameter type

dcreager committed 231 days ago

limit to valid specializations

dcreager committed 231 days ago

never?

dcreager committed 231 days ago

not needed anymore

dcreager committed 231 days ago

Merge remote-tracking branch 'origin/main' into gggg

dcreager committed 230 days ago

fix test

dcreager committed 230 days ago

add materialization test

dcreager committed 230 days ago

only when function defs are same

dcreager committed 230 days ago

add sig todo

dcreager committed 230 days ago

Merge remote-tracking branch 'origin/dcreager/callable-return' into dcreager/callable-return

dcreager committed 230 days ago

bump expected sympy diagnostics in benchmark

AlexWaygood committed 230 days ago

add canonically_ordered

dcreager committed 229 days ago

canonical ordering for constraint set mappings

dcreager committed 229 days ago

fix py-fuzzer test failure

dcreager committed 229 days ago

codex attempt 1

dcreager committed 229 days ago

codex 2

dcreager committed 229 days ago

restore TODOs

dcreager committed 229 days ago

doc

dcreager committed 229 days ago

simpler source_order_for