| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2021-11-18 | Move some tests to more reasonable directories | Caio | -30/+0 | |
| 2020-07-02 | mir: mark mir construction temporaries as internal | David Wood | -0/+30 | |
| 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 <david@davidtw.co> | ||||
