Tracking Issue for minicore (core prelude stubs test auxiliary)

[jieyouxu]

Context

We have a bunch of #![no_core] ui/codegen/assembly tests that roll their own core prelude stubs because they need to build (but not run) on a cross-compiled target. But this means:

• A bunch of duplicated implementations of core prelude stubs scattered in different tests.
• A heavy burden on a contributor of possibly having to update many tests if a new required lang item wants to be added.
• Prelude stubs can obfuscate the intent of the test (more things that the reader has to read and mentally filter out).

Instead of continuing to add more copies of core prelude stubs, let's centralize such core prelude stubs into a shared test auxiliary called minicore. minicore is for core prelude stubs specifically. std prelude which can include liballoc items and such is beyond the scope of minicore, because core is usable by more tests. This does not preclude adding another ministd or minialloc for stubs of std/liballoc respectively.

See https://github.com/rust-lang/rust/issues/130375 for more discussions.

Steps

• [x] 1. Open an MCP to add minicore test auxiliary.
  • MCP is accepted: https://github.com/rust-lang/compiler-team/issues/786
  • Note that the MCP title specified std/core prelude stubs, but we revised the scope to core stubs only.
• [x] 2. Implement initial test infra support for minicore.
  • https://github.com/rust-lang/rust/pull/130693
• [x] 3. Adjust rustc-dev-guide docs.
  • https://github.com/rust-lang/rustc-dev-guide/pull/2097
• [x] 4. Figure out the logistics on how to absorb core stubs into minicore, then use minicore to simplify existing #![no_core] tests.
  • Currently, I think it's better to just have the infra in place to allow newer and changed tests to use minicore.rs, it seems like unnecessary churn to also force existing tests to use minicore.rs atm.

Unresolved questions

• What do we do with existing #![no_core] tests that could benefit from minicore?

[scottmcm]

Great news! I've been doing some MIR work that uses lang items, and ended up just making it work a bit worse instead of dealing with all the no-core tests. If there was a centralized place to deal with problems like this, that'd be great 🎉

[jieyouxu]

Initial test infra PR #130693 has now merged.