user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

rustc_middle: parallel: TyCtxt: remove "unsafe impl DynSend/DynSync"

Browse source 
We don't need to "short circuit trait resolution", because DynSend and DynSync are auto traits and thus coinductive
This commit is contained in:
Askar Safin 2025-02-08 07:23:11 +03:00
parent a9e7b30487
commit 8eba29ac10
1 changed files with 0 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
compiler/rustc_middle/src/ty/context.rs
View file

@ -1290,9 +1290,6 @@ pub struct TyCtxt<'tcx> {
gcx: &'tcx GlobalCtxt<'tcx>,
}
// Explicitly implement `DynSync` and `DynSend` for `TyCtxt` to short circuit trait resolution.
unsafe impl DynSend for TyCtxt<'_> {}
unsafe impl DynSync for TyCtxt<'_> {}
fn _assert_tcx_fields() {
sync::assert_dyn_sync::<&'_ GlobalCtxt<'_>>();
sync::assert_dyn_send::<&'_ GlobalCtxt<'_>>();