:round_pushpin: Fix scope management issue when deep-inferring callee.
Fixes #941.
However, this currently breaks the stdlib somehow with some FreeUnique on the shrinker step of the optimizer.
:round_pushpin: Also preserve warnings when resetting scope for backtracking.
This is crucial as some checks regarding variable usages depends on
warnings; so we may accidentally remove variables from the AST as a
consequence of backtracking for deep inferrence.
:round_pushpin: Fix scope management issue when deep-inferring callee. Fixes #941.
However, this currently breaks the stdlib somehow with some FreeUnique on the shrinker step of the optimizer.
:round_pushpin: Also preserve warnings when resetting scope for backtracking. This is crucial as some checks regarding variable usages depends on warnings; so we may accidentally remove variables from the AST as a consequence of backtracking for deep inferrence.