diff options
| author | Stuart Cook <Zalathar@users.noreply.github.com> | 2025-08-19 14:18:22 +1000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-19 14:18:22 +1000 |
| commit | f3f1847e40f0b33dcf7bee55af49054f7ec1875c (patch) | |
| tree | 64d26abe6acd78b4695e8a3e1b5f8ee82e84c432 /tests/ui/transmutability | |
| parent | 181480d5c40e5bbff1bd05c90951457b3f0449ee (diff) | |
| parent | 3ebf611005370734ddf7ce22e41ac502e4fff59a (diff) | |
| download | rust-f3f1847e40f0b33dcf7bee55af49054f7ec1875c.tar.gz rust-f3f1847e40f0b33dcf7bee55af49054f7ec1875c.zip | |
Rollup merge of #145041 - lcnr:borrowck-limitations-error, r=BoxyUwU
rework GAT borrowck limitation error The old one depends on the `ConstraintCategory` of the constraint which meant we did not emit this note if we had to prove the higher ranked trait bound due to e.g. normalization. This made it annoying brittle and caused MIR borrowck errors to be order dependent, fixes the issue in https://github.com/rust-lang/rust/pull/140737#discussion_r2259592651. r? types cc ```@amandasystems```
Diffstat (limited to 'tests/ui/transmutability')
| -rw-r--r-- | tests/ui/transmutability/references/reject_lifetime_extension.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tests/ui/transmutability/references/reject_lifetime_extension.stderr b/tests/ui/transmutability/references/reject_lifetime_extension.stderr index a597041c6ca..b9702984145 100644 --- a/tests/ui/transmutability/references/reject_lifetime_extension.stderr +++ b/tests/ui/transmutability/references/reject_lifetime_extension.stderr @@ -67,11 +67,11 @@ LL | unsafe { extend_hrtb(src) } | `src` escapes the function body here | argument requires that `'a` must outlive `'static` | -note: due to current limitations in the borrow checker, this implies a `'static` lifetime - --> $DIR/reject_lifetime_extension.rs:85:25 +note: due to a current limitation of the type system, this implies a `'static` lifetime + --> $DIR/reject_lifetime_extension.rs:85:9 | LL | for<'b> &'b u8: TransmuteFrom<&'a u8>, - | ^^^^^^^^^^^^^^^^^^^^^ + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ error: aborting due to 8 previous errors |