julia
fix unsoundness in fieldtype of Tuple with non-Type params
#40067

Merged

fix unsoundness in fieldtype of Tuple with non-Type params #40067

vtjnash merged 2 commits into master from jb/nonstdtupleinf

JeffBezanson added compiler:inference

JeffBezanson force pushed from a3a07945 to aca55547 5 years ago

JeffBezanson added needs pkgeval

JeffBezanson force pushed from aca55547 to 3936c618 5 years ago

JeffBezanson removed needs pkgeval

JeffBezanson added backport 1.6

JeffBezanson added bugfix

JeffBezanson changed the title ~~WIP/RFC: fix unsoundness in fieldtype of Tuple with non-Type params~~ fix unsoundness in fieldtype of Tuple with non-Type params 5 years ago

JeffBezanson force pushed from 3936c618 to b115b2cc 5 years ago

JeffBezanson force pushed from b115b2cc to 19e50604 5 years ago

oscardssmith assigned

JeffBezanson 5 years ago

fix unsoundness in fieldtype of Tuple with non-Type params

523cc3f2

fix #40742, unset `has_concrete_subtype` for types like `Tuple{:x}`

920992c8

JeffBezanson force pushed from 84b0724a to 920992c8 5 years ago

vtjnash merged 18df4b56 into master 5 years ago

vtjnash deleted the jb/nonstdtupleinf branch 5 years ago

KristofferC removed backport 1.6

Reviewers

No reviews

Assignees

JeffBezanson

Labels

bugfix compiler:inference

Milestone

No milestone

julia fix unsoundness in fieldtype of Tuple with non-Type params #40067 Merged

fix unsoundness in fieldtype of Tuple with non-Type params #40067

julia
fix unsoundness in fieldtype of Tuple with non-Type params
#40067

Merged