mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add a comment for covariant Ref

Browse Source
This commit is contained in:
Josh Stone 2022-05-16 17:24:53 -07:00
parent 1e53fab55a
commit 1f33c921d1
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
library/core/src/cell.rs
View File

@ -1318,6 +1318,7 @@ impl Clone for BorrowRef<'_> {
pub struct Ref<'b, T: ?Sized + 'b> { pub struct Ref<'b, T: ?Sized + 'b> {
// NB: we use a pointer instead of `&'b T` to avoid `noalias` violations, because a // NB: we use a pointer instead of `&'b T` to avoid `noalias` violations, because a
// `Ref` argument doesn't hold immutability for its whole scope, only until it drops. // `Ref` argument doesn't hold immutability for its whole scope, only until it drops.
// `NonNull` is also covariant over `T`, just like we would have with `&T`.
value: NonNull<T>, value: NonNull<T>,
borrow: BorrowRef<'b>, borrow: BorrowRef<'b>,
} }
@ -1704,7 +1705,7 @@ pub struct RefMut<'b, T: ?Sized + 'b> {
// `RefMut` argument doesn't hold exclusivity for its whole scope, only until it drops. // `RefMut` argument doesn't hold exclusivity for its whole scope, only until it drops.
value: NonNull<T>, value: NonNull<T>,
borrow: BorrowRefMut<'b>, borrow: BorrowRefMut<'b>,
// NonNull is covariant over T, so we need to reintroduce invariance. // `NonNull` is covariant over `T`, so we need to reintroduce invariance.
marker: PhantomData<&'b mut T>, marker: PhantomData<&'b mut T>,
} }