Remove intrinsics in tests that are in mini_core

[antoyo]

Like this one: https://github.com/rust-lang/rust/pull/137489/files#diff-d3024326688596a6c1c4e0d9cc81254a24c3267d0dcdc250917a755a0547a446

[madhav-madhusoodanan]

Hi, I'd love to work on updating the tests.

I would be grateful if you could share some context of why we need to remove the intrinsics that are in mini_core.

[antoyo]

Some examples, like this one still has a copy of a mini core library.

Please remove this code in all examples and include mini_core like in this example.

[madhav-madhusoodanan]

By importing mini_core, would example/mini_core.rs be loaded?

And Copy, Receiver traits (that are in files like tests/run/abort1.rs ) would be replaced by the definitions in mini_core, right?

Also, functions that are annotated with rustc_intrinsic_must_be_overridden would lose their body.

Is my observation correct? Only wanted to clarify what's happening.

[antoyo]

Yes, that seems correct to me.

[antoyo]

Fixed by #639.