julia
inference: fixes and improvements for exct modeling of `invoke`/OC calls
#55678

Merged

inference: fixes and improvements for exct modeling of `invoke`/OC calls #55678

aviatesk merged 4 commits into master from avi/oc-exct

fix `exct` for mismatched opaque closure call

7ce90a39

improve `exct` modeling for opaque closure calls

8f6a3ef4

fix `nothrow` modeling for `invoke` calls

f87d1641

improve `exct` modeling for `invoke` calls

94829611

aviatesk force pushed from 7b2d5d96 to 94829611 1 year ago

aviatesk merged 62084b7f into master 1 year ago

aviatesk deleted the avi/oc-exct branch 1 year ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone