diff options
| author | bors <bors@rust-lang.org> | 2021-01-17 20:49:11 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2021-01-17 20:49:11 +0000 |
| commit | 4253153db205251f72ea4493687a31e04a2a8ca0 (patch) | |
| tree | e1c25749be58c8ca538627492b6e53f995f7342c /src/test | |
| parent | 1f0fc02cc8ab4e0d9dd3e06a6d46fcb72b2a026f (diff) | |
| parent | c4376ba24a488bf78003e35427d06e52b8b7479f (diff) | |
| download | rust-4253153db205251f72ea4493687a31e04a2a8ca0.tar.gz rust-4253153db205251f72ea4493687a31e04a2a8ca0.zip | |
Auto merge of #80679 - jackh726:predicate-kind-take2, r=lcnr
Remove PredicateKind and instead only use Binder<PredicateAtom> Originally brought up in https://github.com/rust-lang/rust/pull/76814#discussion_r546858171 r? `@lcnr`
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/ui/specialization/min_specialization/repeated_projection_type.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/test/ui/specialization/min_specialization/repeated_projection_type.stderr b/src/test/ui/specialization/min_specialization/repeated_projection_type.stderr index fee8b06e94c..92208231b17 100644 --- a/src/test/ui/specialization/min_specialization/repeated_projection_type.stderr +++ b/src/test/ui/specialization/min_specialization/repeated_projection_type.stderr @@ -1,4 +1,4 @@ -error: cannot specialize on `ProjectionPredicate(ProjectionTy { substs: [V], item_def_id: DefId(0:6 ~ repeated_projection_type[317d]::Id::This) }, (I,))` +error: cannot specialize on `Binder(ProjectionPredicate(ProjectionTy { substs: [V], item_def_id: DefId(0:6 ~ repeated_projection_type[317d]::Id::This) }, (I,)))` --> $DIR/repeated_projection_type.rs:19:1 | LL | / impl<I, V: Id<This = (I,)>> X for V { |