fix #44763, implement missing effects propagation from `abstract_invoke`#44764

Merged

vtjnash merged 1 commit intomasterfrom avi/44763

Mar 28, 2022

+22-17

Commits on Mar 27, 2022

fix #44763 , implement missing effects propagation from abstract_invoke
aviatesk
committed