avail
2.0.0.alpha23
jvm
avail
/
avail.optimizer
/
L1Translator
/
CallSiteHelper
/
afterCallWithCheck
after
Call
With
Check
val
afterCallWithCheck
:
L2BasicBlock
Where to jump after a completed call to perform a return type check.