Fix insufficient covariance detection

Voultapher · Nov 9, 2023 · ba804d9 · ba804d9
1 parent 98bdf38
commit ba804d9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lib.rs b/src/lib.rs
@@ -577,7 +577,7 @@ macro_rules! _covariant_access {
     (covariant, $Vis:vis, $Dependent:ident) => {
         /// Borrows dependent.
         $Vis fn borrow_dependent<'_q>(&'_q self) -> &'_q $Dependent<'_q> {
-            fn _assert_covariance<'x: 'y, 'y>(x: $Dependent<'x>) -> $Dependent<'y> {
+            fn _assert_covariance<'x: 'y, 'y>(x: &'y $Dependent<'x>) -> &'y $Dependent<'y> {
                 //  This function only compiles for covariant types.
                 x // Change the macro invocation to not_covariant.
             }