julia
subtype: don't trust bounds to substitute outer variables while classifying static parameters
#63155

Merged

subtype: don't trust bounds to substitute outer variables while classifying static parameters #63155

adienes merged 5 commits into master from fix-dependent-sparam-env

subtype: Resolve dependent static-parameter bounds

6aa5ef8b

adienes added types and dispatch

adienes added bugfix

Merge branch 'master' into fix-dependent-sparam-env

e366a2e9

vtjnash requested a review from

N5N3 35 days ago

Merge branch 'master' into fix-dependent-sparam-env

8b902a19

adienes changed the title ~~subtype: resolve dependent bounds before classifying static parameters~~ subtype: don't trust bounds to substitute outer variables while classifying static parameters 33 days ago

adienes marked this pull request as draft 33 days ago

subtype: don't trust bounds that don't determine a sparam

42e84e30

adienes force pushed from ef7cf417 to 42e84e30 32 days ago

adienes marked this pull request as ready for review 31 days ago

Merge branch 'master' into fix-dependent-sparam-env

a5b537db

adienes merged 18949247 into master 26 days ago

adienes deleted the fix-dependent-sparam-env branch 26 days ago

Reviewers

N5N3

Assignees

No one assigned

Labels

types and dispatch bugfix

Milestone

No milestone

julia subtype: don't trust bounds to substitute outer variables while classifying static parameters #63155 Merged

subtype: don't trust bounds to substitute outer variables while classifying static parameters #63155

julia
subtype: don't trust bounds to substitute outer variables while classifying static parameters
#63155

Merged