diff options
| author | lcnr <rust@lcnr.de> | 2024-03-11 09:44:51 +0100 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2024-03-14 17:19:40 +0100 |
| commit | 323069fd592c37f6663a41f4304bf99b3ccd3ecd (patch) | |
| tree | f53d7a58d33d2b565aaf6416008ec5dbd373d82b | |
| parent | 6729e0188b87dcf8672124195359bb61dc5a2b00 (diff) | |
| download | rust-323069fd592c37f6663a41f4304bf99b3ccd3ecd.tar.gz rust-323069fd592c37f6663a41f4304bf99b3ccd3ecd.zip | |
rebase
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/select/mod.rs | 2 | ||||
| -rw-r--r-- | tests/ui/generic-associated-types/ambig-hr-projection-issue-93340.next.stderr | 5 |
2 files changed, 1 insertions, 6 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/select/mod.rs b/compiler/rustc_trait_selection/src/traits/select/mod.rs index be748de1b17..d10fe6a9490 100644 --- a/compiler/rustc_trait_selection/src/traits/select/mod.rs +++ b/compiler/rustc_trait_selection/src/traits/select/mod.rs @@ -43,7 +43,7 @@ use rustc_middle::ty::_match::MatchAgainstFreshVars; use rustc_middle::ty::abstract_const::NotConstEvaluatable; use rustc_middle::ty::relate::TypeRelation; use rustc_middle::ty::GenericArgsRef; -use rustc_middle::ty::{self, PolyProjectionPredicate, ToPolyTraitRef, ToPredicate}; +use rustc_middle::ty::{self, PolyProjectionPredicate, ToPredicate}; use rustc_middle::ty::{Ty, TyCtxt, TypeFoldable, TypeVisitableExt}; use rustc_span::symbol::sym; use rustc_span::Symbol; diff --git a/tests/ui/generic-associated-types/ambig-hr-projection-issue-93340.next.stderr b/tests/ui/generic-associated-types/ambig-hr-projection-issue-93340.next.stderr index 6fe128a29f2..06ffff057f9 100644 --- a/tests/ui/generic-associated-types/ambig-hr-projection-issue-93340.next.stderr +++ b/tests/ui/generic-associated-types/ambig-hr-projection-issue-93340.next.stderr @@ -20,8 +20,6 @@ error[E0275]: overflow evaluating the requirement `impl for<'a, 'b> Fn(<A as Sca | LL | cmp_eq | ^^^^^^ - | - = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`ambig_hr_projection_issue_93340`) error[E0275]: overflow evaluating the requirement `impl for<'a, 'b> Fn(<A as Scalar>::RefType<'a>, <B as Scalar>::RefType<'b>) -> O == for<'a, 'b> fn(..., ...) -> ... {cmp_eq::<..., ..., ...>}` --> $DIR/ambig-hr-projection-issue-93340.rs:16:5 @@ -29,7 +27,6 @@ error[E0275]: overflow evaluating the requirement `impl for<'a, 'b> Fn(<A as Sca LL | cmp_eq | ^^^^^^ | - = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`ambig_hr_projection_issue_93340`) = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` error[E0275]: overflow evaluating the requirement `for<'a, 'b> fn(<O as Scalar>::RefType<'a>, <_ as Scalar>::RefType<'b>) -> _ {cmp_eq::<O, ..., ...>} <: ...` @@ -44,8 +41,6 @@ LL | | LL | | LL | | } | |_^ - | - = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`ambig_hr_projection_issue_93340`) error: aborting due to 4 previous errors |