Closed TomAFrench closed 4 days ago
Resolves
In the vein of #5324, we now just look up whether the current_function is unconstrained rather than tracking this on the elaborator.
current_function
This does come with a little bit of a perf degradation as we need to look up the function on each jump but that should be pretty negligible.
Check one:
cargo fmt
Description
Problem*
Resolves
Summary*
In the vein of #5324, we now just look up whether the
current_function
is unconstrained rather than tracking this on the elaborator.This does come with a little bit of a perf degradation as we need to look up the function on each jump but that should be pretty negligible.
Additional Context
Documentation*
Check one:
PR Checklist*
cargo fmt
on default settings.