PR #46757 Also merge var with unchanged bounds.

Also merge var with unchanged bounds. #46757

N5N3 merged 2 commits into JuliaLang:master from N5N3:more_env_merge

Also merge var with unchanged bounds.

562f7bfd

N5N3 added types and dispatch

N5N3 added bugfix

N5N3 added backport 1.8

vtjnash commented on 2022-09-14

Replace `v->var->lb` with `simple_meet`

40f83951

N5N3 force pushed from f1a660b5 to 40f83951 3 years ago

N5N3 merged 65575428 into master 3 years ago

N5N3 deleted the more_env_merge branch 3 years ago

KristofferC removed backport 1.8

Reviewers

vtjnash

Assignees

No one assigned

Labels

types and dispatch bugfix

Milestone

No milestone