Closed
Description
Currently, some pretty fancy cargo-miri machinery needs to work to even run the most basic 'pass' tests. That seems unnecessary fragile. We should move the 'pass' tests that need external dependencies into a separate test suite like 'pass-dep', and run the 'pass' test suite first without any attempt at building dependencies.