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

aviatesk · 2024-09-03T08:15:15Z

fix exct for mismatched opaque closure call: bfeaa27 (following up inference: check argtype compatibility in abstract_call_opaque_closure #55672 )
improve exct modeling for opaque closure calls: 7a65218
fix nothrow modeling for invoke calls: 6916bc1
improve exct modeling for invoke calls: 7b2d5d9

aviatesk added 4 commits September 4, 2024 15:03

fix exct for mismatched opaque closure call

7ce90a3

improve exct modeling for opaque closure calls

8f6a3ef

fix nothrow modeling for invoke calls

f87d164

improve exct modeling for invoke calls

9482961

aviatesk force-pushed the avi/oc-exct branch from 7b2d5d9 to 9482961 Compare September 4, 2024 06:04

aviatesk merged commit 62084b7 into master Sep 4, 2024

aviatesk deleted the avi/oc-exct branch September 4, 2024 11:32

Provide feedback