julia
typeintersect: fix `constraintkind` for non-covariant var
#50209

Merged

typeintersect: fix `constraintkind` for non-covariant var #50209

IanButterworth merged 3 commits into JuliaLang:master from N5N3:intersect-fix

N5N3 added types and dispatch

N5N3 force pushed from 1d56e058 to f4123d80 2 years ago

vtjnash commented on 2023-06-21

subtype: remove unused arg.

2771d684

typeintersect: fix `constraintkind` for non-covariant var

05614c7b

Adopt suggestions.

f6167caf

N5N3 force pushed from f4123d80 to f6167caf 2 years ago

vtjnash added merge me

IanButterworth merged a8d76c67 into master 2 years ago

IanButterworth removed merge me

N5N3 deleted the intersect-fix branch 2 years ago

Reviewers

vtjnash

Assignees

No one assigned

Labels

types and dispatch

Milestone

No milestone