diff options
Diffstat (limited to 'src/test/ui/generic-associated-types/issue-91883.rs')
-rw-r--r-- | src/test/ui/generic-associated-types/issue-91883.rs | 40 |
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() {} |