Skip to content

Recover callee Arrow through Instantiation-grounding refusal - #13630

Closed
gunbai-bot[bot] wants to merge 2 commits into
n7/payload-binder-derived-factfrom
n7/callee-signature-arrow
Closed

gunbai-bot[bot] wants to merge 2 commits into
n7/payload-binder-derived-factfrom
n7/callee-signature-arrow

WIP: N7: derived fact for payload binder over call-result scrutinee (…

f2e116c
Select commit
Loading
Failed to load commit list.

There are no checks for this commit