diff options
Diffstat (limited to 'tests/ui/generic-associated-types/issue-91883.stderr')
| -rw-r--r-- | tests/ui/generic-associated-types/issue-91883.stderr | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/tests/ui/generic-associated-types/issue-91883.stderr b/tests/ui/generic-associated-types/issue-91883.stderr new file mode 100644 index 000000000..d5db96209 --- /dev/null +++ b/tests/ui/generic-associated-types/issue-91883.stderr @@ -0,0 +1,27 @@ +error[E0478]: lifetime bound not satisfied + --> $DIR/issue-91883.rs:30:24 + | +LL | type Cursor<'tx>: Cursor<'tx> + | ----------------------------- definition of `Cursor` from trait +... +LL | type Cursor<'tx> = CursorImpl<'tx>; + | ^^^^^^^^^^^^^^^ + | +note: lifetime parameter instantiated with the lifetime `'db` as defined here + --> $DIR/issue-91883.rs:29:6 + | +LL | impl<'db> Transaction<'db> for TransactionImpl<'db> { + | ^^^ +note: but lifetime parameter must outlive the lifetime `'tx` as defined here + --> $DIR/issue-91883.rs:30:17 + | +LL | type Cursor<'tx> = CursorImpl<'tx>; + | ^^^ +help: copy the `where` clause predicates from the trait + | +LL | type Cursor<'tx> = CursorImpl<'tx> where 'db: 'tx, Self: 'tx; + | +++++++++++++++++++++++++ + +error: aborting due to previous error + +For more information about this error, try `rustc --explain E0478`. |