PR #48224 Some small patch for typeintersect.

Some small patch for typeintersect. #48224

N5N3 merged 3 commits into JuliaLang:master from N5N3:inter-fix2

N5N3 added types and dispatch

Add missing var-substitution in omit_bad_union.

fa10e94a

Also check free typevar's bounds in `reachable_var`

46b6c9af

N5N3 force pushed from c2ad78b4 to 3bed1f1a 3 years ago

N5N3 force pushed from 3bed1f1a to 02f37d88 3 years ago

N5N3 force pushed from 02f37d88 to 484ce822 3 years ago

vtjnash approved these changes on 2023-01-11

Disallow more circulation once we set `lb`==`ub`.

94c64c35

N5N3 force pushed from 484ce822 to 94c64c35 3 years ago

N5N3 added merge me

N5N3 merged 3933f90f into master 3 years ago

N5N3 deleted the inter-fix2 branch 3 years ago

N5N3 removed merge me

Reviewers

vtjnash

Assignees

No one assigned

Labels

types and dispatch

Milestone

No milestone