summaryrefslogtreecommitdiffstats
path: root/src/test/ui/codegen/auxiliary/issue-97708-aux.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/codegen/auxiliary/issue-97708-aux.rs')
-rw-r--r--src/test/ui/codegen/auxiliary/issue-97708-aux.rs41
1 files changed, 41 insertions, 0 deletions
diff --git a/src/test/ui/codegen/auxiliary/issue-97708-aux.rs b/src/test/ui/codegen/auxiliary/issue-97708-aux.rs
new file mode 100644
index 000000000..e296bd391
--- /dev/null
+++ b/src/test/ui/codegen/auxiliary/issue-97708-aux.rs
@@ -0,0 +1,41 @@
+use std::{ptr::NonNull, task::Poll};
+
+struct TaskRef;
+
+struct Header {
+ vtable: &'static Vtable,
+}
+
+struct Vtable {
+ poll: unsafe fn(TaskRef) -> Poll<()>,
+ deallocate: unsafe fn(NonNull<Header>),
+}
+
+// in the "Header" type, which is a private type in maitake
+impl Header {
+ pub(crate) const fn new_stub() -> Self {
+ unsafe fn nop(_ptr: TaskRef) -> Poll<()> {
+ Poll::Pending
+ }
+
+ unsafe fn nop_deallocate(ptr: NonNull<Header>) {
+ unreachable!("stub task ({ptr:p}) should never be deallocated!");
+ }
+
+ Self { vtable: &Vtable { poll: nop, deallocate: nop_deallocate } }
+ }
+}
+
+// This is a public type in `maitake`
+#[repr(transparent)]
+#[cfg_attr(loom, allow(dead_code))]
+pub struct TaskStub {
+ hdr: Header,
+}
+
+impl TaskStub {
+ /// Create a new unique stub [`Task`].
+ pub const fn new() -> Self {
+ Self { hdr: Header::new_stub() }
+ }
+}