Mirrors/rust
1
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2026-05-21 17:52:12 +03:00
Code Issues Packages Projects Releases Wiki Activity
Files
09385f9201ed5bf93cdfe034f44cf1444cd41d45
rust/tests/ui/impl-trait/in-trait
T
History
Esteban Küber eeadffd926 When more than a single impl and less than 4 could apply, point at them 
```
error[E0277]: the trait bound `[[u16; 3]; 2]: Bar` is not satisfied
  --> $DIR/issue-67185-2.rs:21:6
   |
LL | impl Foo for FooImpl {}
   |      ^^^ the trait `Bar` is not implemented for `[[u16; 3]; 2]`
   |
help: the following other types implement trait `Bar`
  --> $DIR/issue-67185-2.rs:9:1
   |
LL | impl Bar for [u16; 4] {}
   | ^^^^^^^^^^^^^^^^^^^^^ `[u16; 4]`
LL | impl Bar for [[u16; 3]; 3] {}
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^ `[[u16; 3]; 3]`
note: required by a bound in `Foo`
  --> $DIR/issue-67185-2.rs:14:30
   |
LL | trait Foo
   |       --- required by a bound in this trait
LL | where
LL |     [<u8 as Baz>::Quaks; 2]: Bar,
   |                              ^^^ required by this bound in `Foo`
```
2025-10-31 20:44:01 +00:00
..
auxiliary
RFC 2383: Stabilize lint_reasons 🎉
2024-06-25 17:22:22 +02:00
alias-bounds-when-not-wf.rs
Be better at reporting alias errors
2024-10-15 20:42:17 -04:00
alias-bounds-when-not-wf.stderr
Manually walk into WF obligations in BestObligation proof tree visitor
2025-01-31 18:21:58 +00:00
anonymize-binders-for-refine.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
assumed-wf-bounds-in-impl.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
async-and-ret-ref.rs
Print RPITIT like an opaque
2024-02-27 17:43:40 +00:00
async-and-ret-ref.stderr
Print RPITIT like an opaque
2024-02-27 17:43:40 +00:00
bad-item-bound-within-rpitit-2.rs
Stop proving outlives constraints on regions we already reported errors on
2024-05-29 09:27:07 +00:00
bad-item-bound-within-rpitit-2.stderr
Stop proving outlives constraints on regions we already reported errors on
2024-05-29 09:27:07 +00:00
bad-item-bound-within-rpitit.rs
Stabilize AFIT and RPITIT
2023-10-13 21:01:36 +00:00
bad-item-bound-within-rpitit.stderr
bless tests with new lint messages
2025-08-19 21:27:10 +02:00
bad-projection-from-opaque.rs
Move an impl-Trait check from AST validation to AST lowering
2024-10-27 07:41:52 +01:00
bad-projection-from-opaque.stderr
Move an impl-Trait check from AST validation to AST lowering
2024-10-27 07:41:52 +01:00
box-coerce-span-in-default.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
cannot-capture-intersection.rs
Bless test fallout
2024-08-17 12:43:25 -04:00
cannot-capture-intersection.stderr
Bless test fallout
2024-08-17 12:43:25 -04:00
check-wf-on-non-defaulted-rpitit.rs
Stabilize AFIT and RPITIT
2023-10-13 21:01:36 +00:00
check-wf-on-non-defaulted-rpitit.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
cycle-effective-visibilities-during-dyn-compatibility-check.rs
Refactor dyn-compatibility error and suggestions
2025-01-22 09:20:57 -08:00
cycle-effective-visibilities-during-dyn-compatibility-check.stderr
When more than a single impl and less than 4 could apply, point at them
2025-10-31 20:44:01 +00:00
cycle-if-impl-doesnt-apply.rs
Do not compute type_of for impl item if impl where clauses are unsatisfied
2025-04-28 17:15:11 +00:00
deep-match-works.rs
RFC 2383: Stabilize lint_reasons 🎉
2024-06-25 17:22:22 +02:00
deep-match.rs
Remove incomplete features from RPITIT/AFIT tests
2023-10-24 15:27:06 +00:00
deep-match.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
default-body-type-err-2.rs
Remove some unnecessary allow(incomplete_features)
2024-03-11 19:42:04 +00:00
default-body-type-err-2.stderr
Make Diag::multipart_suggestions always verbose
2025-07-10 17:23:29 +00:00
default-body-type-err.rs
UI tests: add missing diagnostic kinds where possible
2025-04-08 23:06:31 +03:00
default-body-type-err.stderr
Stop inverting expectation in normalization errors
2024-10-16 13:44:56 -04:00
default-body-with-rpit.rs
Deeply normalize associated type bounds before proving them
2025-02-17 17:21:24 +00:00
default-body.rs
Remove some unnecessary allow(incomplete_features)
2024-03-11 19:42:04 +00:00
default-method-binder-shifting.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
default-method-constraint.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
do-not-imply-from-trait-impl.rs
Actually use placeholder regions for trait method late bound regions in collect_return_position_impl_trait_in_trait_tys
2024-11-24 23:11:49 +00:00
do-not-imply-from-trait-impl.stderr
Actually use placeholder regions for trait method late bound regions in collect_return_position_impl_trait_in_trait_tys
2024-11-24 23:11:49 +00:00
doesnt-satisfy.rs
Remove incomplete features from RPITIT/AFIT tests
2023-10-24 15:27:06 +00:00
doesnt-satisfy.stderr
Implement DesugaringKind::FormatLiteral
2025-06-22 10:58:25 +02:00
dont-consider-unconstrained-rpitits.rs
Filter out RPITITs when suggesting unconstrained assoc type on too many generics
2025-01-30 18:51:49 +00:00
dont-consider-unconstrained-rpitits.stderr
Filter out RPITITs when suggesting unconstrained assoc type on too many generics
2025-01-30 18:51:49 +00:00
dont-probe-missing-item-name-2.rs
Don't compute name of associated item if it's an RPITIT
2025-04-20 16:08:39 +00:00
dont-probe-missing-item-name-2.stderr
Don't compute name of associated item if it's an RPITIT
2025-04-20 16:08:39 +00:00
dont-probe-missing-item-name-3.rs
Don't compute name of associated item if it's an RPITIT
2025-04-20 16:08:39 +00:00
dont-probe-missing-item-name-3.stderr
Don't compute name of associated item if it's an RPITIT
2025-04-20 16:08:39 +00:00
dont-probe-missing-item-name-4.rs
Don't use item name to look up associated item from trait item
2025-04-25 01:57:45 +00:00
dont-probe-missing-item-name-4.stderr
Don't use item name to look up associated item from trait item
2025-04-25 01:57:45 +00:00
dont-probe-missing-item-name.rs
Don't compute name of associated item if it's an RPITIT
2025-04-15 18:46:26 +00:00
dont-probe-missing-item-name.stderr
Don't compute name of associated item if it's an RPITIT
2025-04-15 18:46:26 +00:00
dont-project-to-rpitit-with-no-value.rs
Stabilize AFIT and RPITIT
2023-10-13 21:01:36 +00:00
dont-project-to-rpitit-with-no-value.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
dump.rs
Remove global next_disambiguator state and handle it with a DisambiguatorState type
2025-04-29 13:22:38 +02:00
dump.stderr
Remove global next_disambiguator state and handle it with a DisambiguatorState type
2025-04-29 13:22:38 +02:00
dyn-compatibility-sized.rs
UI tests: Rename "object safe" to "dyn compatible"
2024-10-10 01:13:29 +02:00
dyn-compatibility.rs
Deduplicate dyn compatibility violations due to coercion
2025-05-26 10:57:54 +00:00
dyn-compatibility.stderr
Use more detailed spans in dyn compat errors within bodies
2025-05-27 08:18:11 +00:00
early.rs
Remove some unnecessary allow(incomplete_features)
2024-03-11 19:42:04 +00:00
encode.rs
Remove some unnecessary allow(incomplete_features)
2024-03-11 19:42:04 +00:00
ensure-rpitits-are-created-before-freezing.rs
Ensure RPITITs are created before def-id freezing
2024-03-14 20:30:57 -04:00
ensure-rpitits-are-created-before-freezing.stderr
Ensure RPITITs are created before def-id freezing
2024-03-14 20:30:57 -04:00
expeced-refree-to-map-to-reearlybound-ice-108580.rs
add test for ICE: no errors encountered even though delay_span_bug issued, expected ReFree to map to ReEarlyBound #108580
2024-03-24 10:35:24 +01:00
expeced-refree-to-map-to-reearlybound-ice-108580.stderr
bless tests with new lint messages
2025-08-19 21:27:10 +02:00
false-positive-predicate-entailment-error.current.stderr
Unconditionally run check_item_type on all items
2025-06-30 08:06:08 +00:00
false-positive-predicate-entailment-error.rs
Report impl has stricter requirements even when RPITIT inference gets in the way
2025-01-03 02:45:29 +00:00
foreign-dyn-error.rs
Refactor dyn-compatibility error and suggestions
2025-01-22 09:20:57 -08:00
foreign-dyn-error.stderr
Use more detailed spans in dyn compat errors within bodies
2025-05-27 08:18:11 +00:00
foreign.rs
RFC 2383: Stabilize lint_reasons 🎉
2024-06-25 17:22:22 +02:00
foreign.stderr
Show diff suggestion format on verbose replacement
2025-02-10 20:21:39 +00:00
gat-outlives.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
gat-outlives.stderr
Fix outlives suggestion for GAT in RPITIT
2023-10-16 15:42:26 +00:00
generics-mismatch.rs
Remove incomplete features from RPITIT/AFIT tests
2023-10-24 15:27:06 +00:00
generics-mismatch.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-102140.rs
Deduplicate more sized errors on call exprs
2024-01-24 02:53:15 +00:00
issue-102140.stderr
When more than a single impl and less than 4 could apply, point at them
2025-10-31 20:44:01 +00:00
issue-102301.rs
Remove some unnecessary allow(incomplete_features)
2024-03-11 19:42:04 +00:00
issue-102571.rs
Remove incomplete features from RPITIT/AFIT tests
2023-10-24 15:27:06 +00:00
issue-102571.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
late-bound-in-object-assocty.rs
Stabilize the 2024 edition
2024-11-22 11:12:15 -08:00
lifetime-in-associated-trait-bound.rs
Stabilize associated type bounds
2024-03-08 20:56:25 +00:00
method-compatability-via-leakage-cycle.current.stderr
Unconditionally run check_item_type on all items
2025-06-30 08:06:08 +00:00
method-compatability-via-leakage-cycle.next.stderr
Unconditionally run check_item_type on all items
2025-06-30 08:06:08 +00:00
method-compatability-via-leakage-cycle.rs
add RPITIT tests: method compat auto trait leakage
2025-04-14 13:26:13 +02:00
method-compatability-via-leakage.rs
add RPITIT tests: method compat auto trait leakage
2025-04-14 13:26:13 +02:00
method-signature-matches.lt.stderr
Show diff suggestion format on verbose replacement
2025-02-10 20:21:39 +00:00
method-signature-matches.mismatch_async.stderr
Show diff suggestion format on verbose replacement
2025-02-10 20:21:39 +00:00
method-signature-matches.mismatch.stderr
Show diff suggestion format on verbose replacement
2025-02-10 20:21:39 +00:00
method-signature-matches.rs
Remove some unnecessary allow(incomplete_features)
2024-03-11 19:42:04 +00:00
method-signature-matches.too_few.stderr
Remove some unnecessary allow(incomplete_features)
2024-03-11 19:42:04 +00:00
method-signature-matches.too_many.stderr
Remove some unnecessary allow(incomplete_features)
2024-03-11 19:42:04 +00:00
mismatched-where-clauses.rs
Report impl has stricter requirements even when RPITIT inference gets in the way
2025-01-03 02:45:29 +00:00
mismatched-where-clauses.stderr
Report impl has stricter requirements even when RPITIT inference gets in the way
2025-01-03 02:45:29 +00:00
missing-lt-outlives-in-rpitit-114274.rs
Stabilize AFIT and RPITIT
2023-10-13 21:01:36 +00:00
missing-lt-outlives-in-rpitit-114274.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
missing-static-bound-from-impl.rs
Print RPITIT like an opaque
2024-02-27 17:43:40 +00:00
missing-static-bound-from-impl.stderr
Print RPITIT like an opaque
2024-02-27 17:43:40 +00:00
nested-rpitit-bounds.rs
Deeply normalize associated type bounds before proving them
2025-02-17 17:21:24 +00:00
nested-rpitit.rs
RFC 2383: Stabilize lint_reasons 🎉
2024-06-25 17:22:22 +02:00
not-inferred-generic.rs
Do not call name() on rpitit assoc_item
2025-05-20 17:30:08 -03:00
not-inferred-generic.stderr
Report infer ty errors during hir ty lowering
2025-06-27 07:51:38 +00:00
opaque-and-lifetime-mismatch.rs
Do not recover missing lifetime with random in-scope lifetime
2025-03-03 05:57:55 +00:00
opaque-and-lifetime-mismatch.stderr
Do not recover missing lifetime with random in-scope lifetime
2025-03-03 05:57:55 +00:00
opaque-in-impl-is-opaque.rs
Remove incomplete features from RPITIT/AFIT tests
2023-10-24 15:27:06 +00:00
opaque-in-impl-is-opaque.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
opaque-in-impl.rs
Remove some unnecessary allow(incomplete_features)
2024-03-11 19:42:04 +00:00
opaque-variances.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
outlives-in-nested-rpit.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
placeholder-implied-bounds.rs
borrowck: more eagerly prepopulate opaques
2024-05-06 16:04:57 +00:00
refine-captures.rs
Stabilize precise_capturing_in_traits
2025-03-23 14:11:04 +00:00
refine-captures.stderr
bless tests with new lint messages
2025-08-19 21:27:10 +02:00
refine-cycle.rs
do not leak auto traits in item bounds
2025-04-14 13:26:13 +02:00
refine-err.rs
Don't trigger refinement lint if predicates reference errors
2024-08-22 12:34:12 -04:00
refine-err.stderr
Don't trigger refinement lint if predicates reference errors
2024-08-22 12:34:12 -04:00
refine-normalize.rs
Ignore tests w/ current/next revisions from compare-mode=next-solver
2024-03-10 21:18:41 -04:00
refine-resolution-errors.rs
Unconditionally run check_item_type on all items
2025-06-30 08:06:08 +00:00
refine-resolution-errors.stderr
Unconditionally run check_item_type on all items
2025-06-30 08:06:08 +00:00
refine.rs
Split refining_impl_trait lint into _reachable, _internal variants
2024-03-05 16:19:16 -08:00
refine.stderr
Show diff suggestion format on verbose replacement
2025-02-10 20:21:39 +00:00
return-dont-satisfy-bounds.rs
Report impl has stricter requirements even when RPITIT inference gets in the way
2025-01-03 02:45:29 +00:00
return-dont-satisfy-bounds.stderr
When more than a single impl and less than 4 could apply, point at them
2025-10-31 20:44:01 +00:00
return-type-notation.rs
Promote crashes tests to ui.
2024-10-30 16:19:53 +00:00
return-type-notation.stderr
Promote crashes tests to ui.
2024-10-30 16:19:53 +00:00
reveal.rs
RFC 2383: Stabilize lint_reasons 🎉
2024-06-25 17:22:22 +02:00
rpitit-cycle-in-generics-of.rs
Uplift some feeding out of associated_type_for_impl_trait_in_impl and into queries
2024-03-05 15:55:31 +00:00
rpitit-duplicate-associated-fn-with-nested.rs
compute all rpitit of a trait
2025-07-13 02:52:13 +08:00
rpitit-duplicate-associated-fn-with-nested.stderr
compute all rpitit of a trait
2025-07-13 02:52:13 +08:00
rpitit-duplicate-associated-fn.rs
consider nested cases for duplicate RPITIT
2025-07-07 17:09:39 +08:00
rpitit-duplicate-associated-fn.stderr
consider nested cases for duplicate RPITIT
2025-07-07 17:09:39 +08:00
rpitit-hidden-types-self-implied-wf-via-param.rs
UI tests: add missing diagnostic kinds where possible
2025-04-08 23:06:31 +03:00
rpitit-hidden-types-self-implied-wf-via-param.stderr
Show diff suggestion format on verbose replacement
2025-02-10 20:21:39 +00:00
rpitit-hidden-types-self-implied-wf.rs
Stabilize AFIT and RPITIT
2023-10-13 21:01:36 +00:00
rpitit-hidden-types-self-implied-wf.stderr
Actually use placeholder regions for trait method late bound regions in collect_return_position_impl_trait_in_trait_tys
2024-11-24 23:11:49 +00:00
rpitit-shadowed-by-missing-adt.rs
RFC 2383: Stabilize lint_reasons 🎉
2024-06-25 17:22:22 +02:00
rpitit-shadowed-by-missing-adt.stderr
RFC 2383: Stabilize lint_reasons 🎉
2024-06-25 17:22:22 +02:00
shorthand-projection-in-rpitit-bound.rs
Make sure type_param_predicates resolves correctly for RPITIT
2024-10-30 22:30:28 +00:00
sibling-function-constraint.rs
Test that RPITITs have RPIT scope and not impl-wide scope
2023-10-13 21:01:36 +00:00
sibling-function-constraint.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
signature-mismatch.failure.stderr
Actually use placeholder regions for trait method late bound regions in collect_return_position_impl_trait_in_trait_tys
2024-11-24 23:11:49 +00:00
signature-mismatch.rs
Actually use placeholder regions for trait method late bound regions in collect_return_position_impl_trait_in_trait_tys
2024-11-24 23:11:49 +00:00
sized-rpits-dont-need-pointer-like.rs
Don't check RPITITs that are Self:Sized for PointerLike
2024-12-10 17:23:02 +00:00
span-bug-issue-121457.rs
Improve AssocItem::descr.
2025-04-11 11:03:08 +10:00
span-bug-issue-121457.stderr
Unconditionally run check_item_type on all items
2025-06-30 08:06:08 +00:00
specialization-broken.rs
Stabilize AFIT and RPITIT
2023-10-13 21:01:36 +00:00
specialization-broken.stderr
Show diff suggestion format on verbose replacement
2025-02-10 20:21:39 +00:00
specialization-substs-remap.rs
RFC 2383: Stabilize lint_reasons 🎉
2024-06-25 17:22:22 +02:00
success.rs
RFC 2383: Stabilize lint_reasons 🎉
2024-06-25 17:22:22 +02:00
suggest-missing-item.fixed
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
suggest-missing-item.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
suggest-missing-item.stderr
Update tests
2024-02-07 10:42:01 +08:00
synthetic-hir-has-parent.rs
Tests for getting parent of synthetic HIR
2024-04-03 17:44:47 -04:00
synthetic-hir-has-parent.stderr
Tests for getting parent of synthetic HIR
2024-04-03 17:44:47 -04:00
trait-more-generics-than-impl.rs
Differentiate between methods and associated functions
2024-08-10 00:54:16 +00:00
trait-more-generics-than-impl.stderr
Differentiate between methods and associated functions
2024-08-10 00:54:16 +00:00
unconstrained-lt.rs
Unconditionally run check_item_type on all items
2025-06-30 08:06:08 +00:00
unconstrained-lt.stderr
bless tests with new lint messages
2025-08-19 21:27:10 +02:00
variance.rs
UI tests: add missing diagnostic kinds where possible
2025-04-08 23:06:31 +03:00
variance.stderr
Remap impl-trait lifetimes on HIR instead of AST lowering.
2024-10-30 16:18:50 +00:00
variances-of-gat.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
wf-bounds.rs
Remove some unnecessary allow(incomplete_features)
2024-03-11 19:42:04 +00:00
wf-bounds.stderr
Implement DesugaringKind::FormatLiteral
2025-06-22 10:58:25 +02:00
where-clause.rs
Remove some unnecessary allow(incomplete_features)
2024-03-11 19:42:04 +00:00