11error[E0283]: type annotations needed
2- --> $DIR/issue-93340-1 .rs:16:5
2+ --> $DIR/ambig-hr-projection- issue-93340.rs:16:5
33 |
44LL | cmp_eq
55 | ^^^^^^ cannot infer type of the type parameter `A` declared on the function `cmp_eq`
66 |
77 = note: cannot satisfy `_: Scalar`
88note: required by a bound in `cmp_eq`
9- --> $DIR/issue-93340-1 .rs:9:22
9+ --> $DIR/ambig-hr-projection- issue-93340.rs:9:22
1010 |
1111LL | fn cmp_eq<'a, 'b, A: Scalar, B: Scalar, O: Scalar>(a: A::RefType<'a>, b: B::RefType<'b>) -> O {
1212 | ^^^^^^ required by this bound in `cmp_eq`
@@ -16,24 +16,24 @@ LL | cmp_eq::<A, B, O>
1616 | +++++++++++
1717
1818error[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::<..., ..., ...>}`
19- --> $DIR/issue-93340-1 .rs:16:5
19+ --> $DIR/ambig-hr-projection- issue-93340.rs:16:5
2020 |
2121LL | cmp_eq
2222 | ^^^^^^
2323 |
24- = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`issue_93340_1 `)
24+ = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`ambig_hr_projection_issue_93340 `)
2525
2626error[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::<..., ..., ...>}`
27- --> $DIR/issue-93340-1 .rs:16:5
27+ --> $DIR/ambig-hr-projection- issue-93340.rs:16:5
2828 |
2929LL | cmp_eq
3030 | ^^^^^^
3131 |
32- = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`issue_93340_1 `)
32+ = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`ambig_hr_projection_issue_93340 `)
3333 = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
3434
3535error[E0275]: overflow evaluating the requirement `for<'a, 'b> fn(<O as Scalar>::RefType<'a>, <_ as Scalar>::RefType<'b>) -> _ {cmp_eq::<O, ..., ...>} <: ...`
36- --> $DIR/issue-93340-1 .rs:14:51
36+ --> $DIR/ambig-hr-projection- issue-93340.rs:14:51
3737 |
3838LL | ) -> impl Fn(A::RefType<'_>, B::RefType<'_>) -> O {
3939 | ___________________________________________________^
4545LL | | }
4646 | |_^
4747 |
48- = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`issue_93340_1 `)
48+ = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`ambig_hr_projection_issue_93340 `)
4949
5050error: aborting due to 4 previous errors
5151
0 commit comments