User type annotations can result in different mir-opt test results in CI vs locally #73501
Labels
A-mir-opt
Area: MIR optimizations
A-reproducibility
Area: Reproducible / deterministic builds
C-bug
Category: This is a bug.
T-compiler
Relevant to the compiler team, which will review and decide on the PR/issue.
In #73442, a mir-opt test that I blessed locally was failing on CI and I could not reproduce the failure locally - this was due to the
DefId
in the user type annotations of the test shown below, which appeared to be different locally versus on CI.You can find my config.toml here and I was running tests with
./x.py test src/test/mir-opt --stage 1
(though I couldn't reproduce with a stage2 build either).cc @rust-lang/wg-mir-opt
The text was updated successfully, but these errors were encountered: