-
-
Notifications
You must be signed in to change notification settings - Fork 17
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
3 changed files
with
205 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,93 @@ | ||
use pin_project_lite::pin_project; | ||
use std::pin::Pin; | ||
enum Enum<T, U> { | ||
Struct { pinned: T, unpinned: U }, | ||
Unit, | ||
} | ||
#[allow(dead_code)] | ||
#[allow(single_use_lifetimes)] | ||
#[allow(clippy::mut_mut)] | ||
#[allow(clippy::redundant_pub_crate)] | ||
#[allow(clippy::type_repetition_in_bounds)] | ||
enum EnumProj<'__pin, T, U> | ||
where | ||
Enum<T, U>: '__pin, | ||
{ | ||
Struct { | ||
pinned: ::pin_project_lite::__private::Pin<&'__pin mut (T)>, | ||
unpinned: &'__pin mut (U), | ||
}, | ||
Unit, | ||
} | ||
#[allow(dead_code)] | ||
#[allow(single_use_lifetimes)] | ||
#[allow(clippy::mut_mut)] | ||
#[allow(clippy::redundant_pub_crate)] | ||
#[allow(clippy::type_repetition_in_bounds)] | ||
enum EnumProjRef<'__pin, T, U> | ||
where | ||
Enum<T, U>: '__pin, | ||
{ | ||
Struct { | ||
pinned: ::pin_project_lite::__private::Pin<&'__pin (T)>, | ||
unpinned: &'__pin (U), | ||
}, | ||
Unit, | ||
} | ||
#[allow(single_use_lifetimes)] | ||
#[allow(clippy::used_underscore_binding)] | ||
const _: () = { | ||
impl<T, U> Enum<T, U> { | ||
fn project<'__pin>( | ||
self: ::pin_project_lite::__private::Pin<&'__pin mut Self>, | ||
) -> EnumProj<'__pin, T, U> { | ||
unsafe { | ||
match self.get_unchecked_mut() { | ||
Enum::Struct { pinned, unpinned } => EnumProj::Struct { | ||
pinned: ::pin_project_lite::__private::Pin::new_unchecked(pinned), | ||
unpinned: unpinned, | ||
}, | ||
Enum::Unit => EnumProj::Unit, | ||
} | ||
} | ||
} | ||
fn project_ref<'__pin>( | ||
self: ::pin_project_lite::__private::Pin<&'__pin Self>, | ||
) -> EnumProjRef<'__pin, T, U> { | ||
unsafe { | ||
match self.get_ref() { | ||
Enum::Struct { pinned, unpinned } => EnumProjRef::Struct { | ||
pinned: ::pin_project_lite::__private::Pin::new_unchecked(pinned), | ||
unpinned: unpinned, | ||
}, | ||
Enum::Unit => EnumProjRef::Unit, | ||
} | ||
} | ||
} | ||
} | ||
#[allow(non_snake_case)] | ||
struct __Origin<'__pin, T, U> { | ||
__dummy_lifetime: ::pin_project_lite::__private::PhantomData<&'__pin ()>, | ||
Struct: (T, ::pin_project_lite::__private::AlwaysUnpin<U>), | ||
Unit: (), | ||
} | ||
impl<'__pin, T, U> ::pin_project_lite::__private::Unpin for Enum<T, U> where | ||
__Origin<'__pin, T, U>: ::pin_project_lite::__private::Unpin | ||
{ | ||
} | ||
impl<T, U> ::pin_project_lite::__private::Drop for Enum<T, U> { | ||
fn drop(&mut self) { | ||
trait __DropInner { | ||
fn __drop_inner(self: ::pin_project_lite::__private::Pin<&mut Self>); | ||
} | ||
impl<T, U> __DropInner for Enum<T, U> { | ||
fn __drop_inner(self: ::pin_project_lite::__private::Pin<&mut Self>) { | ||
let _this = self; | ||
} | ||
} | ||
let pinned_self = unsafe { ::pin_project_lite::__private::Pin::new_unchecked(self) }; | ||
__DropInner::__drop_inner(pinned_self); | ||
} | ||
} | ||
}; | ||
fn main() {} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,22 @@ | ||
use pin_project_lite::pin_project; | ||
use std::pin::Pin; | ||
|
||
pin_project! { | ||
#[project = EnumProj] | ||
#[project_ref = EnumProjRef] | ||
enum Enum<T, U> { | ||
Struct { | ||
#[pin] | ||
pinned: T, | ||
unpinned: U, | ||
}, | ||
Unit, | ||
} | ||
impl<T, U> PinnedDrop for Enum<T, U> { | ||
fn drop(self: Pin<&mut Self>) { | ||
let _this = self; | ||
} | ||
} | ||
} | ||
|
||
fn main() {} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,90 @@ | ||
use pin_project_lite::pin_project; | ||
use std::pin::Pin; | ||
struct Struct<T, U> { | ||
pinned: T, | ||
unpinned: U, | ||
} | ||
#[allow(explicit_outlives_requirements)] | ||
#[allow(single_use_lifetimes)] | ||
#[allow(clippy::redundant_pub_crate)] | ||
#[allow(clippy::used_underscore_binding)] | ||
const _: () = { | ||
#[allow(dead_code)] | ||
#[allow(single_use_lifetimes)] | ||
#[allow(clippy::mut_mut)] | ||
#[allow(clippy::redundant_pub_crate)] | ||
#[allow(clippy::type_repetition_in_bounds)] | ||
struct Projection<'__pin, T, U> | ||
where | ||
Struct<T, U>: '__pin, | ||
{ | ||
pinned: ::pin_project_lite::__private::Pin<&'__pin mut (T)>, | ||
unpinned: &'__pin mut (U), | ||
} | ||
#[allow(dead_code)] | ||
#[allow(single_use_lifetimes)] | ||
#[allow(clippy::mut_mut)] | ||
#[allow(clippy::redundant_pub_crate)] | ||
#[allow(clippy::type_repetition_in_bounds)] | ||
struct ProjectionRef<'__pin, T, U> | ||
where | ||
Struct<T, U>: '__pin, | ||
{ | ||
pinned: ::pin_project_lite::__private::Pin<&'__pin (T)>, | ||
unpinned: &'__pin (U), | ||
} | ||
impl<T, U> Struct<T, U> { | ||
fn project<'__pin>( | ||
self: ::pin_project_lite::__private::Pin<&'__pin mut Self>, | ||
) -> Projection<'__pin, T, U> { | ||
unsafe { | ||
let Self { pinned, unpinned } = self.get_unchecked_mut(); | ||
Projection { | ||
pinned: ::pin_project_lite::__private::Pin::new_unchecked(pinned), | ||
unpinned: unpinned, | ||
} | ||
} | ||
} | ||
fn project_ref<'__pin>( | ||
self: ::pin_project_lite::__private::Pin<&'__pin Self>, | ||
) -> ProjectionRef<'__pin, T, U> { | ||
unsafe { | ||
let Self { pinned, unpinned } = self.get_ref(); | ||
ProjectionRef { | ||
pinned: ::pin_project_lite::__private::Pin::new_unchecked(pinned), | ||
unpinned: unpinned, | ||
} | ||
} | ||
} | ||
} | ||
#[allow(non_snake_case)] | ||
struct __Origin<'__pin, T, U> { | ||
__dummy_lifetime: ::pin_project_lite::__private::PhantomData<&'__pin ()>, | ||
pinned: T, | ||
unpinned: ::pin_project_lite::__private::AlwaysUnpin<U>, | ||
} | ||
impl<'__pin, T, U> ::pin_project_lite::__private::Unpin for Struct<T, U> where | ||
__Origin<'__pin, T, U>: ::pin_project_lite::__private::Unpin | ||
{ | ||
} | ||
impl<T, U> ::pin_project_lite::__private::Drop for Struct<T, U> { | ||
fn drop(&mut self) { | ||
trait __DropInner { | ||
fn __drop_inner(self: ::pin_project_lite::__private::Pin<&mut Self>); | ||
} | ||
impl<T, U> __DropInner for Struct<T, U> { | ||
fn __drop_inner(self: ::pin_project_lite::__private::Pin<&mut Self>) { | ||
let _this = self; | ||
} | ||
} | ||
let pinned_self = unsafe { ::pin_project_lite::__private::Pin::new_unchecked(self) }; | ||
__DropInner::__drop_inner(pinned_self); | ||
} | ||
} | ||
#[forbid(safe_packed_borrows)] | ||
fn __assert_not_repr_packed<T, U>(this: &Struct<T, U>) { | ||
let _ = &this.pinned; | ||
let _ = &this.unpinned; | ||
} | ||
}; | ||
fn main() {} |