summaryrefslogtreecommitdiffstats
path: root/src/test/ui/generic-associated-types/issue-91883.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/generic-associated-types/issue-91883.rs')
-rw-r--r--src/test/ui/generic-associated-types/issue-91883.rs40
1 files changed, 0 insertions, 40 deletions
diff --git a/src/test/ui/generic-associated-types/issue-91883.rs b/src/test/ui/generic-associated-types/issue-91883.rs
deleted file mode 100644
index e870e08a3..000000000
--- a/src/test/ui/generic-associated-types/issue-91883.rs
+++ /dev/null
@@ -1,40 +0,0 @@
-use std::fmt::Debug;
-use std::marker::PhantomData;
-
-#[derive(Debug)]
-pub struct TransactionImpl<'db> {
- _marker: PhantomData<&'db ()>,
-}
-
-#[derive(Debug)]
-pub struct CursorImpl<'txn> {
- _marker: PhantomData<&'txn ()>,
-}
-
-pub trait Cursor<'txn> {}
-
-pub trait Transaction<'db>: Send + Sync + Debug + Sized {
- type Cursor<'tx>: Cursor<'tx>
- where
- 'db: 'tx,
- Self: 'tx;
-
- fn cursor<'tx>(&'tx self) -> Result<Self::Cursor<'tx>, ()>
- where
- 'db: 'tx;
-}
-
-impl<'tx> Cursor<'tx> for CursorImpl<'tx> {}
-
-impl<'db> Transaction<'db> for TransactionImpl<'db> {
- type Cursor<'tx> = CursorImpl<'tx>; //~ ERROR lifetime bound not satisfied
-
- fn cursor<'tx>(&'tx self) -> Result<Self::Cursor<'tx>, ()>
- where
- 'db: 'tx,
- {
- loop {}
- }
-}
-
-fn main() {}