diff options
| author | bors <bors@rust-lang.org> | 2022-02-15 11:59:37 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-02-15 11:59:37 +0000 |
| commit | 55697574915ca58c3fcd7b1c854c1c93e002dc85 (patch) | |
| tree | 43f8669ead4f7dbe2812b96a39d1d52bffc62e62 /src/test | |
| parent | 6421a499a50adbaa7b5d0234bdd4817d970f0933 (diff) | |
| parent | 80632de4a1f9d1c0dfe16170fc079e940f42776a (diff) | |
| download | rust-55697574915ca58c3fcd7b1c854c1c93e002dc85.tar.gz rust-55697574915ca58c3fcd7b1c854c1c93e002dc85.zip | |
Auto merge of #93148 - nnethercote:Uniq, r=fee1-dead
Overhaul interning. A number of types are interned and `eq` and `hash` are implemented on the pointer rather than the contents. But this is not well enforced within the type system like you might expect. This PR introduces a new type `Interned` which encapsulates this concept more rigorously, and uses it to convert a couple of the less common interned types. r? `@fee1-dead`
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/ui/issues/issue-35570.stderr | 4 | ||||
| -rw-r--r-- | src/test/ui/regions/regions-implied-bounds-projection-gap-hr-1.stderr | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/test/ui/issues/issue-35570.stderr b/src/test/ui/issues/issue-35570.stderr index dda6145e65a..2697d46bdb2 100644 --- a/src/test/ui/issues/issue-35570.stderr +++ b/src/test/ui/issues/issue-35570.stderr @@ -1,8 +1,8 @@ error[E0277]: the trait bound `for<'a> (): Trait2<'a>` is not satisfied - --> $DIR/issue-35570.rs:8:4 + --> $DIR/issue-35570.rs:8:40 | LL | fn _ice(param: Box<dyn for <'a> Trait1<<() as Trait2<'a>>::Ty>>) { - | ^^^^ the trait `for<'a> Trait2<'a>` is not implemented for `()` + | ^^^^^^^^^^^^^^^^^^^^^^ the trait `for<'a> Trait2<'a>` is not implemented for `()` error: aborting due to previous error diff --git a/src/test/ui/regions/regions-implied-bounds-projection-gap-hr-1.stderr b/src/test/ui/regions/regions-implied-bounds-projection-gap-hr-1.stderr index 44ef13c740c..6844e866532 100644 --- a/src/test/ui/regions/regions-implied-bounds-projection-gap-hr-1.stderr +++ b/src/test/ui/regions/regions-implied-bounds-projection-gap-hr-1.stderr @@ -1,8 +1,8 @@ error[E0277]: the trait bound `for<'z> T: Trait2<'y, 'z>` is not satisfied - --> $DIR/regions-implied-bounds-projection-gap-hr-1.rs:21:4 + --> $DIR/regions-implied-bounds-projection-gap-hr-1.rs:21:49 | LL | fn callee<'x, 'y, T>(t: &'x dyn for<'z> Trait1< <T as Trait2<'y, 'z>>::Foo >) - | ^^^^^^ the trait `for<'z> Trait2<'y, 'z>` is not implemented for `T` + | ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `for<'z> Trait2<'y, 'z>` is not implemented for `T` | help: consider restricting type parameter `T` | |