Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
mir: mark mir construction temporaries as internal
This commit marks temporaries from MIR construction as internal such that they are skipped in `sanitize_witness` (where each MIR local is checked to have been contained within the generator interior computed during typeck). This resolves an ICE whereby the construction of checked addition introduced a `(u64, bool)` temporary which was not in the HIR and thus not in the generator interior. Signed-off-by: David Wood <[email protected]>
- Loading branch information