Soundness fix (for auto traits): use 'lower_bound internally instead …

…of 'static
steffahn · Sep 12, 2021 · 4e027b2 · 4e027b2
1 parent 24e93a8
commit 4e027b2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/lib.rs b/src/lib.rs
@@ -117,7 +117,7 @@ where
     C: TyCon,
 {
     marker: PhantomData<&'lower_bound ()>,
-    inner: Apply<'static, C>,
+    inner: Apply<'lower_bound, C>,
 }
 
 impl<'lower_bound, C> Existential<'lower_bound, C>
@@ -129,7 +129,7 @@ where
         unsafe {
             Self {
                 marker: PhantomData,
-                inner: mem::transmute_copy::<Apply<'a, C>, Apply<'static, C>>(&inner),
+                inner: mem::transmute_copy::<Apply<'a, C>, Apply<'lower_bound, C>>(&inner),
             }
         }
     }