Note the invariance over 'env in Scope<'env>.

rust-lang · Jan 5, 2022 · aa9c088 · aa9c088
1 parent 5bd5781
commit aa9c088
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/library/std/src/thread/scoped.rs b/library/std/src/thread/scoped.rs
@@ -11,6 +11,8 @@ use crate::sync::Arc;
 /// See [`scope`] for details.
 pub struct Scope<'env> {
     data: ScopeData,
+    /// Invariance over 'env, to make sure 'env cannot shrink,
+    /// which is necessary for soundness.
     env: PhantomData<&'env mut &'env ()>,
 }