rust-lang/rust
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity
Files
f1747f40a32f5fcbe7cc684aacedaa5c2bcbb2c4
rust/tests/ui/impl-trait
History
Trevor Gross b5771e7e0d Rollup merge of #127664 - compiler-errors:precise-capturing-better-sugg-apit, r=oli-obk 
Fix precise capturing suggestion for hidden regions when we have APITs

Suggests to turn APITs into type parameters so they can be named in precise capturing syntax for hidden type lifetime errors. We also note that it may change the API.

This is currently done via a note *and* a suggestion, which feels a bit redundant, but I wasn't totally sure of a better alternative for the presentation.

Code is kind of a mess but there's a lot of cases to consider. Happy to iterate on this if you think the approach is too messy.

Based on #127619, only the last commit is relevant.
r? oli-obk

Tracking:

- https://github.com/rust-lang/rust/issues/123432
2024-07-17 19:53:26 -05:00
..
alias-liveness
Add another test for hidden types capturing lifetimes that outlive but arent mentioned in substs
2024-06-04 21:06:29 -04:00
auxiliary
…
diagnostics
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
explicit-generic-args-with-impl-trait
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
in-ctfe
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
in-trait
Remove invalid further restricting for type bound
2024-07-17 19:08:37 +08:00
issues
Tighten spans for async blocks
2024-06-27 15:19:08 -04:00
multiple-lifetimes
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
precise-capturing
Fix precise capturing suggestion for hidden type when APITs are involved
2024-07-17 10:52:13 -04:00
rpit
remove test FIXME re once-module-region
2024-03-28 06:41:22 +00:00
transmute
Automatically taint InferCtxt when errors are emitted
2024-06-26 16:01:45 +00:00
arg-position-impl-trait-too-long.rs
…
arg-position-impl-trait-too-long.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
associated-impl-trait-type-generic-trait.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
associated-impl-trait-type-issue-114325.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
associated-impl-trait-type-trivial.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
associated-impl-trait-type.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
associated-type-cycle.rs
Fix stack overflow with recursive associated types
2024-03-12 06:03:43 +00:00
associated-type-cycle.stderr
Fix stack overflow with recursive associated types
2024-03-12 06:03:43 +00:00
associated-type-undefine.rs
Add test for walking order dependent opaque type behaviour
2024-06-12 15:32:25 +00:00
associated-type-undefine.stderr
Add test for walking order dependent opaque type behaviour
2024-06-12 15:32:25 +00:00
async_scope_creep.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
auto-trait-coherence.next.stderr
update tests
2024-02-26 10:57:46 +01:00
auto-trait-coherence.old.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
auto-trait-coherence.rs
update tests
2024-02-26 10:57:46 +01:00
auto-trait-leak2.rs
Revert "Suggest using Arc on !Send/!Sync types"
2023-08-28 03:16:48 -07:00
auto-trait-leak2.stderr
Provide more context on derived obligation error primary label
2024-01-30 21:28:18 +00:00
auto-trait-leak-rpass.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
auto-trait-leak.rs
Stash and cancel cycle errors for auto trait leakage in opaques
2023-10-26 17:58:02 +00:00
auto-trait-leak.stderr
Make DefiningAnchor::Bind only store the opaque types that may be constrained, instead of the current infcx root item.
2024-03-11 17:19:37 +00:00
autoderef.rs
Ignore tests w/ current/next revisions from compare-mode=next-solver
2024-03-10 21:18:41 -04:00
bivariant-lifetime-liveness.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
bound-normalization-fail.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
bound-normalization-fail.stderr
Stabilize impl_trait_projections
2023-09-08 03:45:36 +00:00
bound-normalization-pass.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
bounds_regression.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
call_method_ambiguous.next.stderr
Delay a bug and mark precise_capturing as not incomplete
2024-06-17 22:35:25 -04:00
call_method_ambiguous.rs
Delay a bug and mark precise_capturing as not incomplete
2024-06-17 22:35:25 -04:00
call_method_on_inherent_impl_on_rigid_type.current.stderr
Add some tests
2024-06-13 10:41:52 +00:00
call_method_on_inherent_impl_on_rigid_type.next.stderr
Add some tests
2024-06-13 10:41:52 +00:00
call_method_on_inherent_impl_on_rigid_type.rs
Add some tests
2024-06-13 10:41:52 +00:00
call_method_on_inherent_impl_ref.current.stderr
Add some tests
2024-06-13 10:41:52 +00:00
call_method_on_inherent_impl_ref.next.stderr
Add some tests
2024-06-13 10:41:52 +00:00
call_method_on_inherent_impl_ref.rs
Add some tests
2024-06-13 10:41:52 +00:00
call_method_on_inherent_impl.next.stderr
Add some tests
2024-06-13 10:41:52 +00:00
call_method_on_inherent_impl.rs
Add some tests
2024-06-13 10:41:52 +00:00
call_method_without_import.no_import.stderr
Add some tests
2024-06-13 10:41:52 +00:00
call_method_without_import.rs
Add some tests
2024-06-13 10:41:52 +00:00
can-return-unconstrained-closure.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
capture-lifetime-not-in-hir.rs
Stabilize impl_trait_projections
2023-09-08 03:45:36 +00:00
capture-lifetime-not-in-hir.stderr
Stabilize impl_trait_projections
2023-09-08 03:45:36 +00:00
closure-calling-parent-fn.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
closure-in-impl-trait-arg.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
closure-in-impl-trait.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
coherence-treats-tait-ambig.current.stderr
Manual find replace updates
2023-11-24 21:04:51 +01:00
coherence-treats-tait-ambig.rs
update tests
2023-09-21 08:17:58 +02:00
coherence-treats-tait-ambig.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
cross-return-site-inference.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
cross-return-site-inference.stderr
Deduplicate more sized errors on call exprs
2024-01-24 02:53:15 +00:00
deduce-signature-from-supertrait.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
defined-by-trait-resolution.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
defining-use-captured-non-universal-region.infer.stderr
remove test FIXME re once-module-region
2024-03-28 06:41:22 +00:00
defining-use-captured-non-universal-region.rs
remove test FIXME re once-module-region
2024-03-28 06:41:22 +00:00
defining-use-captured-non-universal-region.statik.stderr
remove test FIXME re once-module-region
2024-03-28 06:41:22 +00:00
defining-use-uncaptured-non-universal-region-2.rs
ignore uncaptured lifetimes when checking opaques
2024-03-26 09:26:23 +00:00
defining-use-uncaptured-non-universal-region-3.rs
ignore uncaptured lifetimes when checking opaques
2024-03-26 09:26:23 +00:00
defining-use-uncaptured-non-universal-region.rs
ignore uncaptured lifetimes when checking opaques
2024-03-26 09:26:23 +00:00
deprecated_annotation.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
different_where_bounds.rs
Ensure the canonical_param_env_cache does not contain inconsistent information about the defining anchor
2024-04-08 15:08:06 +00:00
divergence.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
does-not-live-long-enough.rs
…
does-not-live-long-enough.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
dont-suggest-box-on-empty-else-arm.rs
Don't suggest boxing an empty if/else arm
2023-06-11 00:19:56 +00:00
dont-suggest-box-on-empty-else-arm.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
dyn-impl-type-mismatch.rs
Account for expected dyn Trait found impl Trait
2024-01-24 16:57:15 +00:00
dyn-impl-type-mismatch.stderr
Account for expected dyn Trait found impl Trait
2024-01-24 16:57:15 +00:00
dyn-trait-elided-two-inputs-assoc.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
dyn-trait-elided-two-inputs-param.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
dyn-trait-elided-two-inputs-ref-assoc.rs
borrowck: more eagerly prepopulate opaques
2024-05-06 16:04:57 +00:00
dyn-trait-elided-two-inputs-ref-param.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
dyn-trait-return-should-be-impl-trait.rs
…
dyn-trait-return-should-be-impl-trait.stderr
Provide more context on derived obligation error primary label
2024-01-30 21:28:18 +00:00
eagerly-reveal-in-local-body.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
equal-hidden-lifetimes.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
equality2.rs
…
equality2.stderr
…
equality-in-canonical-query.rs
Pass list of defineable opaque types into canonical queries
2024-04-08 15:00:26 +00:00
equality-rpass.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
equality-rpass.stderr
…
equality.rs
Revert "When checking whether an impl applies, constrain hidden types of opaque types."
2024-06-11 08:08:25 +00:00
equality.stderr
Spell out other trait diagnostic
2024-06-12 12:34:47 +00:00
erased-regions-in-hidden-ty.current.stderr
ignore uncaptured lifetimes when checking opaques
2024-03-26 09:26:23 +00:00
erased-regions-in-hidden-ty.next.stderr
ignore uncaptured lifetimes when checking opaques
2024-03-26 09:26:23 +00:00
erased-regions-in-hidden-ty.rs
Always use a colon in //@ normalize-*: headers
2024-07-11 12:23:44 +10:00
example-calendar.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
example-st.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
example-st.stderr
Update tests
2024-02-07 10:42:01 +08:00
extra-impl-in-trait-impl.fixed
Improve dead code analysis
2024-07-04 22:05:00 +08:00
extra-impl-in-trait-impl.rs
Improve dead code analysis
2024-07-04 22:05:00 +08:00
extra-impl-in-trait-impl.stderr
Make impl and ! removal suggestion short
2024-07-12 03:02:57 +00:00
extra-item.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
extra-item.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
failed-to-resolve-instance-ice-105488.rs
add test for ice called Option::unwrap() on a None value in collector.rs:934:13 #105488
2024-04-07 00:25:56 +02:00
failed-to-resolve-instance-ice-105488.stderr
add test for ice called Option::unwrap() on a None value in collector.rs:934:13 #105488
2024-04-07 00:25:56 +02:00
failed-to-resolve-instance-ice-123145.rs
add test for ICE: failed to resolve instance for <fn() -> impl ...> #123145
2024-04-07 00:48:47 +02:00
failed-to-resolve-instance-ice-123145.stderr
add test for ICE: failed to resolve instance for <fn() -> impl ...> #123145
2024-04-07 00:48:47 +02:00
fallback_inference.rs
…
fallback_inference.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
fallback.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
feature-self-return-type.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
feature-self-return-type.stderr
Stabilize impl_trait_projections
2023-09-08 03:45:36 +00:00
fresh-lifetime-from-bare-trait-obj-114664.rs
Bless test fallout (duplicate diagnostics)
2024-03-20 13:00:34 -04:00
fresh-lifetime-from-bare-trait-obj-114664.stderr
Bless test fallout (duplicate diagnostics)
2024-03-20 13:00:34 -04:00
future-no-bound-vars-ice-112347.rs
Require any function with a tait in its signature to actually constrain a hidden type
2024-06-12 08:53:59 +00:00
generic-with-implicit-hrtb-without-dyn.edition2015.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
generic-with-implicit-hrtb-without-dyn.edition2021.stderr
Avoid silencing relevant follow-up errors
2024-01-09 21:08:16 +00:00
generic-with-implicit-hrtb-without-dyn.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
hidden-lifetimes.rs
…
hidden-lifetimes.stderr
…
hidden-type-is-opaque-2.default.stderr
test that fudging with opaque types is the same in the new solver
2024-02-28 09:54:44 +00:00
hidden-type-is-opaque-2.next.stderr
test that fudging with opaque types is the same in the new solver
2024-02-28 09:54:44 +00:00
hidden-type-is-opaque-2.rs
test that fudging with opaque types is the same in the new solver
2024-02-28 09:54:44 +00:00
hidden-type-is-opaque.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
ice-unexpected-param-type-whensubstituting-in-region-112823.rs
add test for https://github.com/rust-lang/rust/issues/112823
2024-03-22 08:27:14 +01:00
ice-unexpected-param-type-whensubstituting-in-region-112823.stderr
add test for https://github.com/rust-lang/rust/issues/112823
2024-03-22 08:27:14 +01:00
impl_fn_associativity.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
impl_trait_projections.rs
Avoid silencing relevant follow-up errors
2024-01-09 21:08:16 +00:00
impl_trait_projections.stderr
Use TraitRef::to_string sorting in favor of TraitRef::ord, as the latter compares DefIds which we need to avoid
2024-03-27 14:02:15 +00:00
impl-fn-hrtb-bounds-2.rs
…
impl-fn-hrtb-bounds-2.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
impl-fn-hrtb-bounds.rs
make type_flags(ReError) & HAS_ERROR
2024-03-20 17:29:58 +00:00
impl-fn-hrtb-bounds.stderr
make type_flags(ReError) & HAS_ERROR
2024-03-20 17:29:58 +00:00
impl-fn-parsing-ambiguities.rs
make type_flags(ReError) & HAS_ERROR
2024-03-20 17:29:58 +00:00
impl-fn-parsing-ambiguities.stderr
Make parse error suggestions verbose and fix spans
2024-07-12 03:02:57 +00:00
impl-fn-predefined-lifetimes.rs
Automatically taint InferCtxt when errors are emitted
2024-06-26 16:01:45 +00:00
impl-fn-predefined-lifetimes.stderr
Automatically taint InferCtxt when errors are emitted
2024-06-26 16:01:45 +00:00
impl-generic-mismatch-ab.rs
…
impl-generic-mismatch-ab.stderr
Use verbose suggestion for changing arg type
2024-07-05 20:58:33 +00:00
impl-generic-mismatch.rs
…
impl-generic-mismatch.stderr
…
impl-subtyper2.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
impl-subtyper.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
impl-trait-in-macro.rs
…
impl-trait-in-macro.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
impl-trait-plus-priority.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
impl-trait-plus-priority.stderr
Make parse error suggestions verbose and fix spans
2024-07-12 03:02:57 +00:00
implicit-capture-late.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
implicit-capture-late.stderr
Improve error message for opaque captures
2024-03-08 19:08:13 +00:00
in-assoc-type-unconstrained.rs
…
in-assoc-type-unconstrained.stderr
show unit output when there is only output diff in diagnostics
2024-07-06 21:00:30 +08:00
in-assoc-type.rs
Require TAITs to be mentioned in the signatures of functions that register hidden types for them
2023-07-07 13:13:18 +00:00
in-assoc-type.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-35668.rs
…
issue-35668.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-36792.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
issue-46959.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
issue-49556.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
issue-49579.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
issue-49685.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
issue-51185.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
issue-54966.rs
…
issue-54966.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-55872-1.rs
…
issue-55872-1.stderr
Provide more context on derived obligation error primary label
2024-01-30 21:28:18 +00:00
issue-55872-2.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
issue-55872-2.stderr
Add a note to duplicate diagnostics
2023-10-05 01:04:41 +00:00
issue-55872-3.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
issue-55872-3.stderr
Tighten spans for async blocks
2024-06-27 15:19:08 -04:00
issue-55872.rs
…
issue-55872.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-56445.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
issue-68532.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
issue-72911.rs
Avoid follow-up errors and ICEs after missing lifetime errors on data structures
2024-07-11 11:00:15 +00:00
issue-72911.stderr
Avoid follow-up errors and ICEs after missing lifetime errors on data structures
2024-07-11 11:00:15 +00:00
issue-87450.rs
…
issue-87450.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-99073-2.rs
check for non-defining uses of RPIT
2023-08-14 15:25:20 +02:00
issue-99073-2.stderr
check for non-defining uses of RPIT
2023-08-14 15:25:20 +02:00
issue-99073.rs
check for non-defining uses of RPIT
2023-08-14 15:25:20 +02:00
issue-99073.stderr
adjust how closure/generator types and rvalues are printed
2023-09-21 22:20:58 +02:00
issue-99642-2.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
issue-99642.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
issue-99914.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
issue-99914.stderr
Inline get_node_fn_decl into get_fn_decl, simplify/explain logic in report_return_mismatched_types
2024-05-20 20:16:29 -04:00
issue-100075-2.rs
…
issue-100075-2.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-100075.rs
…
issue-100075.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-100187.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
issue-102605.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
issue-102605.stderr
Check entry type as part of item type checking.
2023-07-15 22:02:16 +00:00
issue-103181-1.current.stderr
Ignore tests w/ current/next revisions from compare-mode=next-solver
2024-03-10 21:18:41 -04:00
issue-103181-1.next.stderr
Ignore tests w/ current/next revisions from compare-mode=next-solver
2024-03-10 21:18:41 -04:00
issue-103181-1.rs
Ignore tests w/ current/next revisions from compare-mode=next-solver
2024-03-10 21:18:41 -04:00
issue-103181-2.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
issue-103181-2.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-103599.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
issue-103599.stderr
…
issue-108591.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
issue-108592.rs
Require any function with a tait in its signature to actually constrain a hidden type
2024-06-12 08:53:59 +00:00
lazy_subtyping_of_opaques.rs
Allow constraining opaque types during subtyping in the trait system
2024-06-19 08:29:17 +00:00
lifetime-ambiguity-regression.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
lifetimes2.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
lifetimes.rs
Error on using yield without also using #[coroutine] on the closure
2024-04-24 08:05:29 +00:00
mapping-duplicated-lifetimes-issue-114597.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
method-resolution2.next.stderr
Add some tests
2024-06-13 10:41:52 +00:00
method-resolution2.rs
Method resolution constrains hidden types instead of rejecting method candidates
2024-06-13 10:41:53 +00:00
method-resolution3.current.stderr
Method resolution constrains hidden types instead of rejecting method candidates
2024-06-13 10:41:53 +00:00
method-resolution3.next.stderr
Method resolution constrains hidden types instead of rejecting method candidates
2024-06-13 10:41:53 +00:00
method-resolution3.rs
Method resolution constrains hidden types instead of rejecting method candidates
2024-06-13 10:41:53 +00:00
method-resolution4.next.stderr
Add some tests
2024-06-13 10:41:52 +00:00
method-resolution4.rs
Method resolution constrains hidden types instead of rejecting method candidates
2024-06-13 10:41:53 +00:00
method-resolution.rs
Method resolution constrains hidden types instead of rejecting method candidates
2024-06-13 10:41:53 +00:00
method-suggestion-no-duplication.rs
…
method-suggestion-no-duplication.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
multiple-defining-usages-in-body.rs
…
multiple-defining-usages-in-body.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
must_outlive_least_region_or_bound.rs
Continue to borrowck even if there were previous errors
2024-02-08 08:10:43 +00:00
must_outlive_least_region_or_bound.stderr
Continue to borrowck even if there were previous errors
2024-02-08 08:10:43 +00:00
needs_least_region_or_bound.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
negative-reasoning.rs
…
negative-reasoning.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
nested_impl_trait.rs
Actually just make can_eq process obligations (almost) everywhere
2024-07-05 11:59:54 -04:00
nested_impl_trait.stderr
Actually just make can_eq process obligations (almost) everywhere
2024-07-05 11:59:54 -04:00
nested-hkl-lifetime.rs
Add regression test
2024-04-08 15:00:03 +00:00
nested-return-type2-tait2.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
nested-return-type2-tait2.stderr
Remove DefiningAnchor::Bubble from opaque wf check
2023-10-16 15:50:31 +00:00
nested-return-type2-tait3.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
nested-return-type2-tait3.stderr
Remove DefiningAnchor::Bubble from opaque wf check
2023-10-16 15:50:31 +00:00
nested-return-type2-tait.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
nested-return-type2-tait.stderr
Add AliasKind::Weak for type aliases.
2023-06-16 19:39:48 +00:00
nested-return-type2.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
nested-return-type3-tait2.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
nested-return-type3-tait2.stderr
Add AliasKind::Weak for type aliases.
2023-06-16 19:39:48 +00:00
nested-return-type3-tait3.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
nested-return-type3-tait3.stderr
…
nested-return-type3-tait.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
nested-return-type3-tait.stderr
Add AliasKind::Weak for type aliases.
2023-06-16 19:39:48 +00:00
nested-return-type3.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
nested-return-type4.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
nested-return-type4.stderr
Tighten spans for async blocks
2024-06-27 15:19:08 -04:00
nested-return-type.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
nested-rpit-hrtb-2.rs
don't ICE on higher ranked hidden types
2023-08-04 15:11:09 +00:00
nested-rpit-hrtb-2.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
nested-rpit-hrtb.rs
Stop proving outlives constraints on regions we already reported errors on
2024-05-29 09:27:07 +00:00
nested-rpit-hrtb.stderr
Stop proving outlives constraints on regions we already reported errors on
2024-05-29 09:27:07 +00:00
nested-rpit-with-anonymous-lifetimes.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
nesting.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
no-method-suggested-traits.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
no-method-suggested-traits.stderr
Sort a diagnostic by DefPathStr instead of DefId
2024-03-27 14:02:16 +00:00
no-trait.rs
…
no-trait.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
normalize-opaque-with-bound-vars.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
normalize-tait-in-const.rs
Require any function with a tait in its signature to actually constrain a hidden type
2024-06-12 08:53:59 +00:00
normalize-tait-in-const.stderr
bless tests
2024-06-21 11:57:24 +00:00
not_general_enough_regression_106630.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
object-unsafe-trait-in-return-position-dyn-trait.rs
Continue compilation after check_mod_type_wf errors
2024-02-14 11:00:30 +00:00
object-unsafe-trait-in-return-position-dyn-trait.stderr
Continue compilation after check_mod_type_wf errors
2024-02-14 11:00:30 +00:00
object-unsafe-trait-in-return-position-impl-trait.rs
…
object-unsafe-trait-in-return-position-impl-trait.stderr
…
opaque-cast-field-access-in-future.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
opaque-cast-field-access-in-future.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
opaque-used-in-extraneous-argument.rs
Bless test fallout (duplicate diagnostics)
2024-03-20 13:00:34 -04:00
opaque-used-in-extraneous-argument.stderr
Use verbose style for argument removal suggestion
2024-07-05 19:40:09 +00:00
point-to-type-err-cause-on-impl-trait-return.rs
…
point-to-type-err-cause-on-impl-trait-return.stderr
…
printing-binder.rs
…
printing-binder.stderr
…
private_unused.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
projection-mismatch-in-impl-where-clause.rs
…
projection-mismatch-in-impl-where-clause.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
projection.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
question_mark.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
recursive-auto-trait.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
recursive-bound-eval.next.stderr
Also test under next solver
2024-06-11 08:19:19 +00:00
recursive-bound-eval.rs
Also test under next solver
2024-06-11 08:19:19 +00:00
recursive-coroutine-boxed.next.stderr
Error on using yield without also using #[coroutine] on the closure
2024-04-24 08:05:29 +00:00
recursive-coroutine-boxed.rs
Error on using yield without also using #[coroutine] on the closure
2024-04-24 08:05:29 +00:00
recursive-coroutine-indirect.current.stderr
Error on using yield without also using #[coroutine] on the closure
2024-04-24 08:05:29 +00:00
recursive-coroutine-indirect.next.stderr
Error on using yield without also using #[coroutine] on the closure
2024-04-24 08:05:29 +00:00
recursive-coroutine-indirect.rs
Error on using yield without also using #[coroutine] on the closure
2024-04-24 08:05:29 +00:00
recursive-ice-101862.rs
add test for opaque type with non-universal region substs #101852
2024-03-23 12:01:39 +01:00
recursive-ice-101862.stderr
add test for opaque type with non-universal region substs #101852
2024-03-23 12:01:39 +01:00
recursive-impl-trait-type-direct.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
recursive-impl-trait-type-indirect.rs
Error on using yield without also using #[coroutine] on the closure
2024-04-24 08:05:29 +00:00
recursive-impl-trait-type-indirect.stderr
Error on using yield without also using #[coroutine] on the closure
2024-04-24 08:05:29 +00:00
recursive-impl-trait-type-through-non-recursive.rs
…
recursive-impl-trait-type-through-non-recursive.stderr
…
recursive-parent-trait-method-call.rs
Add some tests
2024-06-13 10:41:52 +00:00
recursive-type-alias-impl-trait-declaration-too-subtle-2.rs
Require any function with a tait in its signature to actually constrain a hidden type
2024-06-12 08:53:59 +00:00
recursive-type-alias-impl-trait-declaration-too-subtle.rs
Require any function with a tait in its signature to actually constrain a hidden type
2024-06-12 08:53:59 +00:00
recursive-type-alias-impl-trait-declaration-too-subtle.stderr
Use verbose suggestion for changing arg type
2024-07-05 20:58:33 +00:00
recursive-type-alias-impl-trait-declaration.rs
Revert "When checking whether an impl applies, constrain hidden types of opaque types."
2024-06-11 08:08:25 +00:00
recursive-type-alias-impl-trait-declaration.stderr
Revert "When checking whether an impl applies, constrain hidden types of opaque types."
2024-06-11 08:08:25 +00:00
region-escape-via-bound-contravariant-closure.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
region-escape-via-bound-contravariant.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
region-escape-via-bound.rs
…
region-escape-via-bound.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
return-position-impl-trait-minimal.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
reveal-during-codegen.rs
Ignore tests w/ current/next revisions from compare-mode=next-solver
2024-03-10 21:18:41 -04:00
rpit-assoc-pair-with-lifetime.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
rpit-not-sized.rs
…
rpit-not-sized.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
stashed-diag-issue-121504.rs
Overhaul how stashed diagnostics work, again.
2024-02-29 11:08:27 +11:00
stashed-diag-issue-121504.stderr
Overhaul how stashed diagnostics work, again.
2024-02-29 11:08:27 +11:00
static-lifetime-return-position-impl-trait.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
static-return-lifetime-infered.rs
…
static-return-lifetime-infered.stderr
adjust how closure/generator types and rvalues are printed
2023-09-21 22:20:58 +02:00
stranded-opaque.rs
Bless test fallout (duplicate diagnostics)
2024-03-20 13:00:34 -04:00
stranded-opaque.stderr
Bless test fallout (duplicate diagnostics)
2024-03-20 13:00:34 -04:00
suggest-calling-rpit-closure.rs
…
suggest-calling-rpit-closure.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
trait_resolution.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
trait_type.rs
…
trait_type.stderr
show fnsig's output when there is difference
2024-07-06 23:29:58 +08:00
trait_upcasting_reference_mismatch.rs
Allow constraining opaque types during auto trait casting
2024-06-19 08:28:31 +00:00
trait_upcasting_reference_mismatch.stderr
Allow constraining opaque types during auto trait casting
2024-06-19 08:28:31 +00:00
trait_upcasting.rs
Allow constraining opaque types during auto trait casting
2024-06-19 08:28:31 +00:00
two_tait_defining_each_other2.current.stderr
Require any function with a tait in its signature to actually constrain a hidden type
2024-06-12 08:53:59 +00:00
two_tait_defining_each_other2.next.stderr
Ignore tests w/ current/next revisions from compare-mode=next-solver
2024-03-10 21:18:41 -04:00
two_tait_defining_each_other2.rs
Require any function with a tait in its signature to actually constrain a hidden type
2024-06-12 08:53:59 +00:00
two_tait_defining_each_other3.current.stderr
Ignore tests w/ current/next revisions from compare-mode=next-solver
2024-03-10 21:18:41 -04:00
two_tait_defining_each_other3.rs
Ignore tests w/ current/next revisions from compare-mode=next-solver
2024-03-10 21:18:41 -04:00
two_tait_defining_each_other.current.stderr
Ignore tests w/ current/next revisions from compare-mode=next-solver
2024-03-10 21:18:41 -04:00
two_tait_defining_each_other.rs
Ignore tests w/ current/next revisions from compare-mode=next-solver
2024-03-10 21:18:41 -04:00
type_parameters_captured.rs
…
type_parameters_captured.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
type-alias-generic-param.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
type-alias-generic-param.stderr
Update tests
2024-02-07 10:42:01 +08:00
type-alias-impl-trait-in-fn-body.rs
Require any function with a tait in its signature to actually constrain a hidden type
2024-06-12 08:53:59 +00:00
type-alias-impl-trait-in-fn-body.stderr
Require any function with a tait in its signature to actually constrain a hidden type
2024-06-12 08:53:59 +00:00
type-arg-mismatch-due-to-impl-trait.rs
…
type-arg-mismatch-due-to-impl-trait.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
unactionable_diagnostic.fixed
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
unactionable_diagnostic.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
unactionable_diagnostic.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
universal_hrtb_anon.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
universal_hrtb_named.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
universal_in_adt_in_parameters.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
universal_in_impl_trait_in_parameters.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
universal_in_trait_defn_parameters.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
universal_multiple_bounds.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
universal_wrong_bounds.rs
…
universal_wrong_bounds.stderr
…
universal_wrong_hrtb.rs
migrate lifetime too
2023-06-26 19:14:49 +00:00
universal_wrong_hrtb.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
universal-mismatched-type.rs
…
universal-mismatched-type.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
universal-two-impl-traits.rs
…
universal-two-impl-traits.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
unsafety-checking-cycle.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
unsize_adt.rs
Allow constraining opaque types during unsizing
2024-06-19 08:28:31 +00:00
unsize_slice.rs
Allow constraining opaque types during unsizing
2024-06-19 08:28:31 +00:00
unsize_tuple.rs
Allow constraining opaque types during unsizing
2024-06-19 08:28:31 +00:00
unsized_coercion2.old.stderr
Add more tests
2024-06-19 08:28:31 +00:00
unsized_coercion2.rs
Add more tests
2024-06-19 08:28:31 +00:00
unsized_coercion3.next.stderr
More tests
2024-06-19 08:40:29 +00:00
unsized_coercion3.old.stderr
More tests
2024-06-19 08:40:29 +00:00
unsized_coercion3.rs
More tests
2024-06-19 08:40:29 +00:00
unsized_coercion4.rs
More tests
2024-06-19 08:40:29 +00:00
unsized_coercion5.next.stderr
More tests
2024-06-19 08:40:29 +00:00
unsized_coercion5.old.stderr
More tests
2024-06-19 08:40:29 +00:00
unsized_coercion5.rs
More tests
2024-06-19 08:40:29 +00:00
unsized_coercion.next.stderr
Add more tests
2024-06-19 08:28:31 +00:00
unsized_coercion.rs
Add more tests
2024-06-19 08:28:31 +00:00
upvar_captures.rs
Taint infcx when reporting errors
2024-06-19 04:41:56 +00:00
upvar_captures.stderr
Taint infcx when reporting errors
2024-06-19 04:41:56 +00:00
variance.e2024.stderr
Enable new capture rules by default on edition 2024
2023-12-05 19:53:59 +00:00
variance.new.stderr
Enable new capture rules by default on edition 2024
2023-12-05 19:53:59 +00:00
variance.old.stderr
Enable new capture rules by default on edition 2024
2023-12-05 19:53:59 +00:00
variance.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
wf-check-hidden-type.rs
when defining opaques, require the hidden type to be well-formed
2024-02-27 15:57:49 +01:00
wf-check-hidden-type.stderr
when defining opaques, require the hidden type to be well-formed
2024-02-27 15:57:49 +01:00
wf-eval-order.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
where-allowed-2.rs
…
where-allowed-2.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
where-allowed.rs
return ty::Error when equating ty::Error
2024-02-19 23:54:49 +00:00
where-allowed.stderr
Use verbose suggestion for changing arg type
2024-07-05 20:58:33 +00:00
xcrate_simple.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
xcrate.rs
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00