Investigate how to identify non-qualified std calls in safe Rust crates

[darkwisebear]

What

Since for quite some time we will only have a subset of the std crate qualified, we need to create some automation to detect the accidental use of unqualified parts of std.

How

That's to be found out.

Estimates for realization

Impossible as long as there's no concept.

Category

• Affects Detailed Design

Requirements / Architecture

• Requirements / Architecture are not affected by this change?

[pawelrutkaq]

It is supported via feroceen for libcore https://public-docs.ferrocene.dev/main/safety-manual/core/subset.html#compliance-with-subset so there is high change that when they do certification of libstd for us, same patter ncan be used