Skip to main content

Browse the archive

Revision eb5cf3a9e49173a8405efd94aca6e5dd40e4b419 authored by Shuhei Kadowaki on 10 October 2021, 18:38:20 UTC, committed by Shuhei Kadowaki on 11 October 2021, 04:57:23 UTC 
inference: make `widenconst` always return `Type`
 
The primary purpose of this commit is to improve the handling of
`TypeVar`s and `Vararg`s.

This commit tries to modify all places where we call `widenconst` on
those non-`Type` objects and make inference work if `widenconst` doesn't
accept them. Now `widenconst` is ensured to return `Type` always (and as
a result we can safely call e.g. `widenconst(x) <: widenconst(y)`).
1 parent a7a21c6
Raw File
VERSION 
1.8.0-DEV
back to top