Skip to content

Draft: Fix #497: avoid Hint Immediate

Paolo G. Giarrusso requested to merge Blaisorblade/iris:fix-497-hint-immediate into master

Uses the same strategy as stdpp!424 (closed). Draft since for now I'm duplicating the tactic.

Merge request reports