library/rustc-std-workspace-std/lib.rs

#![feature(restricted_std)]
pub use std::*;