user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/tests/ui/impl-trait/in-trait
History
Exact
Rémy Rakic fa77598824 update tests and bless expectations 
just to show the diagnostics impact
2025-12-10 14:47:49 +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 Use return type Span on async fns instead of whole fn def Span 2025-12-09 16:46:33 +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 Merge E0412 into E0425 2025-12-02 18:25:13 +00: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.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.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 Special case detecting 'static lifetime requirement coming from -> Box<dyn Trait> 2025-11-04 22:33:13 +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 Merge E0412 into E0425 2025-12-02 18:25:13 +00: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 update tests and bless expectations 2025-12-10 14:47:49 +00:00
refine-resolution-errors.stderr update tests and bless expectations 2025-12-10 14:47:49 +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 Merge E0412 into E0425 2025-12-02 18:25:13 +00: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