..
auxiliary
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
argument-types.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
assoc-projection-ice.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
assoc-type-const.rs
Ignore tests w/ current/next revisions from compare-mode=next-solver
2024-03-10 21:18:41 -04:00
assoc-type-lifetime-unconstrained.rs
Merge `check_mod_impl_wf` and `check_mod_type_wf`
2024-03-07 06:27:09 +00:00
assoc-type-lifetime-unconstrained.stderr
Merge `check_mod_impl_wf` and `check_mod_type_wf`
2024-03-07 06:27:09 +00:00
assoc-type-lifetime.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
associated-type-alias-impl-trait.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
associated-type-impl-trait-lifetime.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
auto-trait-leakage.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
auto-trait-leakage2.rs
Revert "Suggest using `Arc` on `!Send`/`!Sync` types"
2023-08-28 03:16:48 -07:00
auto-trait-leakage2.stderr
Provide more context on derived obligation error primary label
2024-01-30 21:28:18 +00:00
auto-trait-leakage3.rs
Stash and cancel cycle errors for auto trait leakage in opaques
2023-10-26 17:58:02 +00:00
auto-trait-leakage3.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
bivariant-duplicate-lifetime-unconstrained.rs
ignore uncaptured lifetimes when checking opaques
2024-03-26 09:26:23 +00:00
bound_reduction.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
bound_reduction2.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
bound_reduction2.stderr
Require TAITs to be mentioned in the signatures of functions that register hidden types for them
2023-07-07 13:13:18 +00:00
bounds-are-checked-2.rs
…
bounds-are-checked-2.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
bounds-are-checked.rs
Convert a hard-warning about named static lifetimes into lint "unused_lifetimes"
2023-02-22 09:44:26 +08:00
bounds-are-checked.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
bounds-are-checked3.rs
Add `AliasKind::Weak` for type aliases.
2023-06-16 19:39:48 +00:00
bounds-are-checked3.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
bounds.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
broken_mir.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
closure-normalization-ice-109020.rs
add test for Failed to normalize closure with TAIT #109020
2024-03-24 10:41:34 +01:00
closure_args.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
closure_args2.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
closure_infer.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
closure_parent_substs.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
closure_wf_outlives.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
closure_wf_outlives.stderr
remove trailing dots
2023-10-08 10:06:17 +00:00
closures_in_branches.rs
…
closures_in_branches.stderr
…
coherence.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
coherence.stderr
Normalize trait ref before orphan check & consider ty params in alias types to be uncovered
2024-04-30 21:54:54 +02:00
coherence_cross_crate.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
coherence_cross_crate.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
coherence_different_hidden_ty.rs
coherence: don't add hidden types for opaques
2023-05-30 12:40:35 +02:00
coherence_different_hidden_ty.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
coherence_generalization.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
collect_hidden_types.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
constrain_inputs.rs
…
constrain_inputs.stderr
…
constrain_inputs_unsound.rs
…
constrain_inputs_unsound.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
cross_crate_ice.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
cross_crate_ice2.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
cross_inference.rs
Ignore tests w/ current/next revisions from compare-mode=next-solver
2024-03-10 21:18:41 -04:00
cross_inference_pattern_bug.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
cross_inference_pattern_bug_no_type.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
cross_inference_rpit.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
debug-ty-with-weak.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
declared_but_never_defined.rs
…
declared_but_never_defined.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
declared_but_not_defined_in_scope.rs
…
declared_but_not_defined_in_scope.stderr
Require TAITs to be mentioned in the signatures of functions that register hidden types for them
2023-07-07 13:13:18 +00:00
defined-by-user-annotation.rs
rework opaque types region inference
2024-03-28 06:00:26 +00:00
defined-in-closure-external-lifetime.rs
reject external lifetimes as invalid arguments
2024-03-28 06:00:26 +00:00
defined-in-closure-external-lifetime.stderr
reject external lifetimes as invalid arguments
2024-03-28 06:00:26 +00:00
defining-use-submodule.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
destructure_tait-ice-113594.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
destructure_tait-layout_of-ice-113594.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
destructuring.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
different_defining_uses.rs
…
different_defining_uses.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
different_defining_uses_never_type-2.rs
Don't cancel stashed `OpaqueHiddenTypeMismatch` errors.
2024-02-29 11:05:38 +11:00
different_defining_uses_never_type-2.stderr
Don't cancel stashed `OpaqueHiddenTypeMismatch` errors.
2024-02-29 11:05:38 +11:00
different_defining_uses_never_type-3.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
different_defining_uses_never_type-3.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
different_defining_uses_never_type.rs
…
different_defining_uses_never_type.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
different_defining_uses_never_type2.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
different_defining_uses_never_type3.rs
…
different_defining_uses_never_type3.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
different_lifetimes_defining_uses.rs
Revert "Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726"
2023-08-30 11:06:46 +00:00
different_lifetimes_defining_uses.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
drop-shim-relates-opaque-issue-114375.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
duplicate-lifetimes-from-rpit-containing-tait.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
duplicate-lifetimes-from-rpit-containing-tait2.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
equal-lifetime-params-not-ok.rs
rework opaque types region inference
2024-03-28 06:00:26 +00:00
equal-lifetime-params-not-ok.stderr
rework opaque types region inference
2024-03-28 06:00:26 +00:00
equal-lifetime-params-ok.rs
fixup except equal params from
2024-03-28 06:08:43 +00:00
escaping-bound-var.rs
ignore error params
2024-03-28 06:00:25 +00:00
escaping-bound-var.stderr
ignore error params
2024-03-28 06:00:25 +00:00
failed-to-normalize-ice-99945.rs
add test for #99945
2024-03-23 11:57:26 +01:00
failed-to-normalize-ice-99945.stderr
add test for #99945
2024-03-23 11:57:26 +01:00
fallback.rs
…
fallback.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
field-types.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
future.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
future.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
generic-not-strictly-equal.basic.stderr
rework opaque types region inference
2024-03-28 06:00:26 +00:00
generic-not-strictly-equal.member_constraints.stderr
rework opaque types region inference
2024-03-28 06:00:26 +00:00
generic-not-strictly-equal.rs
rework opaque types region inference
2024-03-28 06:00:26 +00:00
generic_different_defining_uses.rs
…
generic_different_defining_uses.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
generic_duplicate_lifetime_param.rs
Revert "Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726"
2023-08-30 11:06:46 +00:00
generic_duplicate_lifetime_param.stderr
Revert "Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726"
2023-08-30 11:06:46 +00:00
generic_duplicate_param_use.rs
Revert "Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726"
2023-08-30 11:06:46 +00:00
generic_duplicate_param_use.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
generic_duplicate_param_use2.rs
…
generic_duplicate_param_use2.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
generic_duplicate_param_use3.rs
…
generic_duplicate_param_use3.stderr
…
generic_duplicate_param_use4.rs
…
generic_duplicate_param_use4.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
generic_duplicate_param_use5.rs
…
generic_duplicate_param_use5.stderr
…
generic_duplicate_param_use6.rs
…
generic_duplicate_param_use6.stderr
…
generic_duplicate_param_use7.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
generic_duplicate_param_use8.rs
…
generic_duplicate_param_use8.stderr
…
generic_duplicate_param_use9.rs
…
generic_duplicate_param_use9.stderr
…
generic_duplicate_param_use10.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
generic_lifetime_param.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
generic_nondefining_use.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
generic_nondefining_use.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
generic_not_used.rs
…
generic_not_used.stderr
…
generic_type_does_not_live_long_enough.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
generic_type_does_not_live_long_enough.stderr
remove trailing dots
2023-10-08 10:06:17 +00:00
generic_underconstrained.rs
Work around the fact that `check_mod_type_wf` may spuriously return `ErrorGuaranteed`, even if that error is only emitted by `check_modwitem_types`
2023-10-25 12:04:54 +00:00
generic_underconstrained.stderr
Reorder `check_item_type` diagnostics so they occur next to the corresponding `check_well_formed` diagnostics
2024-01-02 14:17:56 +00:00
generic_underconstrained2.rs
Work around the fact that `check_mod_type_wf` may spuriously return `ErrorGuaranteed`, even if that error is only emitted by `check_modwitem_types`
2023-10-25 12:04:54 +00:00
generic_underconstrained2.stderr
Reorder `check_item_type` diagnostics so they occur next to the corresponding `check_well_formed` diagnostics
2024-01-02 14:17:56 +00:00
hidden_behind_projection_behind_struct_field.rs
Only walk the identity substituted version of struct fields
2023-06-22 15:51:20 +00:00
hidden_behind_projection_behind_struct_field.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
hidden_behind_struct_field.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
hidden_behind_struct_field2.rs
Merge `impl_trait_in_assoc_types_defined_by` query back into `opaque_types_defined_by`
2024-03-05 16:07:25 +00:00
hidden_behind_struct_field2.stderr
Merge `impl_trait_in_assoc_types_defined_by` query back into `opaque_types_defined_by`
2024-03-05 16:07:25 +00:00
hidden_behind_struct_field3.rs
Merge `impl_trait_in_assoc_types_defined_by` query back into `opaque_types_defined_by`
2024-03-05 16:07:25 +00:00
hidden_behind_struct_field3.stderr
Merge `impl_trait_in_assoc_types_defined_by` query back into `opaque_types_defined_by`
2024-03-05 16:07:25 +00:00
hidden_type_mismatch.rs
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
hidden_type_mismatch.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
higher_kinded_params.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
higher_kinded_params2.rs
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
higher_kinded_params2.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
higher_kinded_params3.rs
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
higher_kinded_params3.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
hkl_forbidden.rs
Add more tests
2024-02-21 09:08:45 +00:00
hkl_forbidden.stderr
Add more tests
2024-02-21 09:08:45 +00:00
hkl_forbidden2.rs
Preserve the `Span` from `prove_predicate` all the way to registering opaque types
2024-02-22 14:05:01 +00:00
hkl_forbidden2.stderr
Preserve the `Span` from `prove_predicate` all the way to registering opaque types
2024-02-22 14:05:01 +00:00
hkl_forbidden3.rs
Add more tests
2024-02-21 09:08:45 +00:00
hkl_forbidden3.stderr
Add more tests
2024-02-21 09:08:45 +00:00
hkl_forbidden4.rs
check RPITs for invalid args
2024-03-28 06:00:26 +00:00
hkl_forbidden4.stderr
check RPITs for invalid args
2024-03-28 06:00:26 +00:00
ice-failed-to-resolve-instance-for-110696.rs
address review comments
2024-03-22 11:35:31 +01:00
ice-failed-to-resolve-instance-for-110696.stderr
add test for #110696
2024-03-22 08:13:54 +01:00
impl-trait-in-type-alias-with-bad-substs.rs
return ty::Error when equating ty::Error
2024-02-19 23:54:49 +00:00
impl-trait-in-type-alias-with-bad-substs.stderr
return ty::Error when equating ty::Error
2024-02-19 23:54:49 +00:00
impl-with-unconstrained-param.rs
Merge `check_mod_impl_wf` and `check_mod_type_wf`
2024-03-07 06:27:09 +00:00
impl-with-unconstrained-param.stderr
Merge `check_mod_impl_wf` and `check_mod_type_wf`
2024-03-07 06:27:09 +00:00
impl_for_weak_alias.rs
Add `AliasKind::Weak` for type aliases.
2023-06-16 19:39:48 +00:00
impl_for_weak_alias.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
impl_trait_for_generic_tait.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
impl_trait_for_same_tait.rs
…
impl_trait_for_same_tait.stderr
Make things work by using the new solver
2023-10-23 23:35:27 +00:00
impl_trait_for_tait.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
impl_trait_for_tait_bound.rs
…
impl_trait_for_tait_bound.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
impl_trait_for_tait_bound2.rs
…
impl_trait_for_tait_bound2.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
impl_trait_in_trait_defined_outside_trait.rs
Add some tests
2024-01-22 14:35:47 +00:00
impl_trait_in_trait_defined_outside_trait.stderr
Add some tests
2024-01-22 14:35:47 +00:00
impl_trait_in_trait_defined_outside_trait2.rs
Add some tests
2024-01-22 14:35:47 +00:00
impl_trait_in_trait_defined_outside_trait2.stderr
Add some tests
2024-01-22 14:35:47 +00:00
impl_trait_in_trait_defined_outside_trait3.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
implied_bounds.rs
…
implied_bounds.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
implied_bounds2.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
implied_bounds3.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
implied_bounds_closure.rs
…
implied_bounds_closure.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
implied_bounds_from_types.rs
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
implied_bounds_from_types.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
implied_lifetime_wf_check.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
implied_lifetime_wf_check3.rs
Revert "Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726"
2023-08-30 11:06:46 +00:00
implied_lifetime_wf_check3.stderr
remove trailing dots
2023-10-08 10:06:17 +00:00
implied_lifetime_wf_check4_static.rs
Continue to borrowck even if there were previous errors
2024-02-08 08:10:43 +00:00
implied_lifetime_wf_check4_static.stderr
Continue to borrowck even if there were previous errors
2024-02-08 08:10:43 +00:00
imply_bounds_from_bounds.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
imply_bounds_from_bounds_param.rs
Split out a separate feature gate for impl trait in associated types
2023-04-12 16:17:31 +00:00
imply_bounds_from_bounds_param.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
in-assoc-ty-early-bound.rs
Add some tests
2024-01-22 14:35:47 +00:00
in-assoc-ty-early-bound.stderr
Add some tests
2024-01-22 14:35:47 +00:00
in-assoc-ty-early-bound2.rs
Add some tests
2024-01-22 14:35:47 +00:00
in-assoc-ty-early-bound2.stderr
Add some tests
2024-01-22 14:35:47 +00:00
in-where-clause.rs
chore: remove repetitive words
2024-03-12 20:09:33 +08:00
in-where-clause.stderr
Always use RevealAll for const eval queries
2024-01-19 11:32:34 +00:00
incoherent-assoc-imp-trait.rs
Split out a separate feature gate for impl trait in associated types
2023-04-12 16:17:31 +00:00
incoherent-assoc-imp-trait.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
incomplete-inference.rs
…
incomplete-inference.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
indirect-recursion-issue-112047.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
indirect-recursion-issue-112047.stderr
Make cycle error more resilient to where it starts
2024-01-08 20:30:24 +00:00
inference-cycle.rs
Stash and cancel cycle errors for auto trait leakage in opaques
2023-10-26 17:58:02 +00:00
inference-cycle.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
infinite-cycle-involving-weak.rs
Don't super-fold types when we hit the recursion limit
2023-10-30 19:24:15 +00:00
infinite-cycle-involving-weak.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
invalid_impl_trait_in_assoc_ty.rs
Require `impl Trait` in associated types to appear in method signatures
2023-05-12 10:24:03 +00:00
invalid_impl_trait_in_assoc_ty.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-52843-closure-constrain.rs
…
issue-52843-closure-constrain.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-52843.rs
…
issue-52843.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-53092-2.rs
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
issue-53092-2.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
issue-53092.rs
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
issue-53092.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
issue-53096.rs
…
issue-53096.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-53598.rs
Split out a separate feature gate for impl trait in associated types
2023-04-12 16:17:31 +00:00
issue-53598.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-53678-coroutine-and-const-fn.rs
Error on using `yield` without also using `#[coroutine]` on the closure
2024-04-24 08:05:29 +00:00
issue-55099-lifetime-inference.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-57188-associate-impl-capture.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-57611-trait-alias.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-57700.rs
Split out a separate feature gate for impl trait in associated types
2023-04-12 16:17:31 +00:00
issue-57700.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-57807-associated-type.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-57961.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
issue-57961.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-58662-coroutine-with-lifetime.rs
Error on using `yield` without also using `#[coroutine]` on the closure
2024-04-24 08:05:29 +00:00
issue-58662-simplified.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-58887.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-58951-2.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-58951.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-60371.rs
Split out a separate feature gate for impl trait in associated types
2023-04-12 16:17:31 +00:00
issue-60371.stderr
Bless tests
2024-01-13 12:46:58 -05:00
issue-60407.rs
…
issue-60407.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-60564-working.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-60564.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
issue-60564.stderr
Require TAITs to be mentioned in the signatures of functions that register hidden types for them
2023-07-07 13:13:18 +00:00
issue-60662.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-60662.stdout
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-62000-associate-impl-trait-lifetimes.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-63263-closure-return.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-63279.rs
Pretty print Fn traits in rustc_on_unimplemented
2023-11-02 20:57:05 +00:00
issue-63279.stderr
Pretty print Fn traits in rustc_on_unimplemented
2023-11-02 20:57:05 +00:00
issue-63355.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-63677-type-alias-coherence.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-65384.rs
Remove some unnecessary allow(incomplete_features)
2024-03-11 19:42:04 +00:00
issue-65384.stderr
Remove some unnecessary allow(incomplete_features)
2024-03-11 19:42:04 +00:00
issue-65679-inst-opaque-ty-from-val-twice.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-65918.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-66580-closure-coherence.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-67844-nested-opaque.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-68368-non-defining-use-2.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
issue-68368-non-defining-use-2.stderr
Require TAITs to be mentioned in the signatures of functions that register hidden types for them
2023-07-07 13:13:18 +00:00
issue-68368-non-defining-use.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
issue-68368-non-defining-use.stderr
Require TAITs to be mentioned in the signatures of functions that register hidden types for them
2023-07-07 13:13:18 +00:00
issue-69136-inner-lifetime-resolve-error.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
issue-69136-inner-lifetime-resolve-error.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-69136-inner-lifetime-resolve-ok.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-69323.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-70121.rs
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
issue-70121.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
issue-72793.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-74244.rs
Merge `check_mod_impl_wf` and `check_mod_type_wf`
2024-03-07 06:27:09 +00:00
issue-74244.stderr
Merge `check_mod_impl_wf` and `check_mod_type_wf`
2024-03-07 06:27:09 +00:00
issue-74280.rs
…
issue-74280.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-74761-2.rs
Merge `check_mod_impl_wf` and `check_mod_type_wf`
2024-03-07 06:27:09 +00:00
issue-74761-2.stderr
Merge `check_mod_impl_wf` and `check_mod_type_wf`
2024-03-07 06:27:09 +00:00
issue-74761.rs
Merge `check_mod_impl_wf` and `check_mod_type_wf`
2024-03-07 06:27:09 +00:00
issue-74761.stderr
Merge `check_mod_impl_wf` and `check_mod_type_wf`
2024-03-07 06:27:09 +00:00
issue-76202-trait-impl-for-tait.rs
Ignore tests w/ current/next revisions from compare-mode=next-solver
2024-03-10 21:18:41 -04:00
issue-77179.rs
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
issue-77179.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
issue-78450.rs
Ignore tests w/ current/next revisions from compare-mode=next-solver
2024-03-10 21:18:41 -04:00
issue-84660-trait-impl-for-tait.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-84660-unsoundness.rs
…
issue-84660-unsoundness.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-87455-static-lifetime-ice.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-89686.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-89686.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-89952.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-90400-1.rs
Split out a separate feature gate for impl trait in associated types
2023-04-12 16:17:31 +00:00
issue-90400-1.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-90400-2.rs
Split out a separate feature gate for impl trait in associated types
2023-04-12 16:17:31 +00:00
issue-90400-2.stderr
when defining opaques, require the hidden type to be well-formed
2024-02-27 15:57:49 +01:00
issue-93411.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-94429.rs
Error on using `yield` without also using `#[coroutine]` on the closure
2024-04-24 08:05:29 +00:00
issue-94429.stderr
Error on using `yield` without also using `#[coroutine]` on the closure
2024-04-24 08:05:29 +00:00
issue-96572-unconstrained-mismatch.rs
…
issue-96572-unconstrained-mismatch.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-96572-unconstrained.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-98604.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-98604.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-98608.rs
Tweak E0271 wording
2023-01-30 21:51:35 +00:00
issue-98608.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-101750.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-104817.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-104817.stock.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-109054.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
issue-109054.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
itiat-allow-nested-closures.bad.stderr
Get rid of some sub_exp and eq_exp
2024-03-01 01:20:49 +00:00
itiat-allow-nested-closures.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
itiat-forbid-nested-items.rs
Check that we forbid nested items, but not nested closures
2024-01-22 14:35:47 +00:00
itiat-forbid-nested-items.stderr
Check that we forbid nested items, but not nested closures
2024-01-22 14:35:47 +00:00
lifetime_mismatch.rs
simplify check_unique
2024-03-28 06:00:26 +00:00
lifetime_mismatch.stderr
simplify check_unique
2024-03-28 06:00:26 +00:00
match-unification.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
missing_lifetime_bound.rs
Revert "Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726"
2023-08-30 11:06:46 +00:00
missing_lifetime_bound.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
multi-error.rs
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
multi-error.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
multiple-def-uses-in-one-fn-infer.rs
…
multiple-def-uses-in-one-fn-infer.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
multiple-def-uses-in-one-fn-lifetimes.rs
simplify check_unique
2024-03-28 06:00:26 +00:00
multiple-def-uses-in-one-fn-lifetimes.stderr
simplify check_unique
2024-03-28 06:00:26 +00:00
multiple-def-uses-in-one-fn-pass.rs
Prevent opaque types being instantiated twice with different regions within the same function
2024-03-18 10:26:10 +00:00
multiple-def-uses-in-one-fn.rs
Wait until type_of to remap HIR opaques back to their defn params
2023-05-26 14:42:52 +00:00
multiple-def-uses-in-one-fn.stderr
Provide more context on derived obligation error primary label
2024-01-30 21:28:18 +00:00
multiple-def-uses-in-one-fn2.rs
…
multiple-def-uses-in-one-fn2.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
multiple-def-uses-in-one-fn3.rs
…
multiple-def-uses-in-one-fn3.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
multiple_definitions.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
mututally-recursive-overflow.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
mututally-recursive-overflow.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
nested-impl-trait-in-tait.rs
Hide foreign `#[doc(hidden)]` paths in import suggestions
2023-12-20 00:19:45 -05:00
nested-impl-trait-in-tait.stderr
Hide foreign `#[doc(hidden)]` paths in import suggestions
2023-12-20 00:19:45 -05:00
nested-in-anon-const.rs
Handle ForeignItem as TAIT scope.
2024-01-05 21:49:37 +00:00
nested-in-anon-const.stderr
Rebase fallout.
2024-01-05 21:54:41 +00:00
nested-rpit-with-lifetimes.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
nested-tait-hrtb.rs
Paper over an accidental regression
2023-09-14 15:16:48 +00:00
nested-tait-hrtb.stderr
Paper over an accidental regression
2023-09-14 15:16:48 +00:00
nested-tait-inference.rs
…
nested-tait-inference.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
nested-tait-inference2.rs
…
nested-tait-inference2.stderr
Use `TraitRef::to_string` sorting in favor of `TraitRef::ord`, as the latter compares `DefId`s which we need to avoid
2024-03-27 14:02:15 +00:00
nested-tait-inference3.rs
…
nested-tait-inference3.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
nested.rs
…
nested.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
nested_impl_trait_in_assoc_ty.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
nested_in_closure.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
nested_inference_failure.rs
Ignore tests w/ current/next revisions from compare-mode=next-solver
2024-03-10 21:18:41 -04:00
nested_type_alias_impl_trait.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
nested_type_alias_impl_trait.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
never_reveal_concrete_type.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
no_inferrable_concrete_type.rs
Continue to borrowck even if there were previous errors
2024-02-08 08:10:43 +00:00
no_inferrable_concrete_type.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
no_revealing_outside_defining_module.rs
…
no_revealing_outside_defining_module.stderr
Require TAITs to be mentioned in the signatures of functions that register hidden types for them
2023-07-07 13:13:18 +00:00
non-defining-method.rs
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
non-defining-method.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
normalize-alias-type.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
normalize-hidden-types.current.stderr
Ignore tests w/ current/next revisions from compare-mode=next-solver
2024-03-10 21:18:41 -04:00
normalize-hidden-types.rs
Ignore tests w/ current/next revisions from compare-mode=next-solver
2024-03-10 21:18:41 -04:00
not-matching-trait-refs-isnt-defining.rs
Additional test demonstrating check for full trait ref
2023-06-21 16:41:52 +00:00
not-matching-trait-refs-isnt-defining.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
not_a_defining_use.rs
…
not_a_defining_use.stderr
…
not_well_formed.rs
Bless test fallout (duplicate diagnostics)
2024-03-20 13:00:34 -04:00
not_well_formed.stderr
Bless test fallout (duplicate diagnostics)
2024-03-20 13:00:34 -04:00
obligation_ice.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
outlives-bound-var.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
param_mismatch.rs
Prevent opaque types being instantiated twice with different regions within the same function
2024-03-18 10:26:10 +00:00
param_mismatch.stderr
Prevent opaque types being instantiated twice with different regions within the same function
2024-03-18 10:26:10 +00:00
param_mismatch2.rs
Prevent opaque types being instantiated twice with different regions within the same function
2024-03-18 10:26:10 +00:00
param_mismatch2.stderr
Prevent opaque types being instantiated twice with different regions within the same function
2024-03-18 10:26:10 +00:00
param_mismatch3.rs
Prevent opaque types being instantiated twice with different regions within the same function
2024-03-18 10:26:10 +00:00
param_mismatch3.stderr
Prevent opaque types being instantiated twice with different regions within the same function
2024-03-18 10:26:10 +00:00
param_mismatch4.rs
fix ICE in check_unique
2024-03-26 09:26:23 +00:00
param_mismatch4.stderr
fix ICE in check_unique
2024-03-26 09:26:23 +00:00
privacy.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
privacy.stderr
Replace old private-in-public diagnostic with type privacy lints
2023-08-02 13:40:28 +03:00
recursive-fn-tait.rs
Add test for 113326
2023-10-16 18:23:12 +00:00
recursive-fn-tait.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
recursive-tait-conflicting-defn-2.rs
Add additional test
2023-07-18 15:56:03 +00:00
recursive-tait-conflicting-defn-2.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
recursive-tait-conflicting-defn.rs
Relax recursive opaque type check
2023-07-18 15:56:03 +00:00
recursive-tait-conflicting-defn.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
reveal_local.rs
Stash and cancel cycle errors for auto trait leakage in opaques
2023-10-26 17:58:02 +00:00
reveal_local.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
rpit_tait_equality_in_canonical_query.rs
Pass list of defineable opaque types into canonical queries
2024-04-08 15:00:26 +00:00
rpit_tait_equality_in_canonical_query_2.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
self-referential-2.current.stderr
Ignore tests w/ current/next revisions from compare-mode=next-solver
2024-03-10 21:18:41 -04:00
self-referential-2.rs
Ignore tests w/ current/next revisions from compare-mode=next-solver
2024-03-10 21:18:41 -04:00
self-referential-3.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
self-referential-3.stderr
Adjust the ignore-compare-mode-next-solver for hangs
2023-12-18 23:55:47 +00:00
self-referential-4.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
self-referential-4.stderr
Adjust the ignore-compare-mode-next-solver for hangs
2023-12-18 23:55:47 +00:00
self-referential.rs
Make TAITs capture all higher-ranked lifetimes in scope
2024-03-08 02:10:11 +00:00
self-referential.stderr
Make TAITs capture all higher-ranked lifetimes in scope
2024-03-08 02:10:11 +00:00
self_implication.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
static-const-types.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
struct-assignment-validity.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
structural-match-no-leak.rs
…
structural-match-no-leak.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
structural-match.rs
…
structural-match.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
tait-in-function-return-type-issue-101903-fixed.rs
Add regression tests for #101903
2024-03-24 00:32:04 +09:00
tait-in-function-return-type-issue-101903.rs
Add regression tests for #101903
2024-03-24 00:32:04 +09:00
tait-in-function-return-type-issue-101903.stderr
Add regression tests for #101903
2024-03-24 00:32:04 +09:00
tait-normalize.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
tait-param-inference-issue-117310.rs
Add a regression test for #117310
2024-03-23 23:54:44 +09:00
type-alias-impl-trait-assoc-dyn.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
type-alias-impl-trait-assoc-impl-trait.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
type-alias-impl-trait-const.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
type-alias-impl-trait-fn-type.rs
Split note, fix const/static impl trait error
2024-01-07 18:00:03 +00:00
type-alias-impl-trait-fn-type.stderr
Split note, fix const/static impl trait error
2024-01-07 18:00:03 +00:00
type-alias-impl-trait-fns.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
type-alias-impl-trait-sized.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
type-alias-impl-trait-struct.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
type-alias-impl-trait-tuple.next.stderr
Ignore tests w/ current/next revisions from compare-mode=next-solver
2024-03-10 21:18:41 -04:00
type-alias-impl-trait-tuple.rs
Ignore tests w/ current/next revisions from compare-mode=next-solver
2024-03-10 21:18:41 -04:00
type-alias-impl-trait-unconstrained-lifetime.rs
Merge `check_mod_impl_wf` and `check_mod_type_wf`
2024-03-07 06:27:09 +00:00
type-alias-impl-trait-unconstrained-lifetime.stderr
Merge `check_mod_impl_wf` and `check_mod_type_wf`
2024-03-07 06:27:09 +00:00
type-alias-impl-trait-with-cycle-error-1.rs
Mark some tests as known-bugs and add the test case from the corresponding issue
2024-04-08 15:08:06 +00:00
type-alias-impl-trait-with-cycle-error-1.stderr
Mark some tests as known-bugs and add the test case from the corresponding issue
2024-04-08 15:08:06 +00:00
type-alias-impl-trait-with-cycle-error-2.rs
Mark some tests as known-bugs and add the test case from the corresponding issue
2024-04-08 15:08:06 +00:00
type-alias-impl-trait-with-cycle-error-2.stderr
Mark some tests as known-bugs and add the test case from the corresponding issue
2024-04-08 15:08:06 +00:00
type-alias-impl-trait-with-cycle-error-3.rs
Mark some tests as known-bugs and add the test case from the corresponding issue
2024-04-08 15:08:06 +00:00
type-alias-impl-trait-with-cycle-error-3.stderr
Mark some tests as known-bugs and add the test case from the corresponding issue
2024-04-08 15:08:06 +00:00
type-alias-impl-trait-with-cycle-error-4.rs
Mark some tests as known-bugs and add the test case from the corresponding issue
2024-04-08 15:08:06 +00:00
type-alias-impl-trait-with-cycle-error-4.stderr
Mark some tests as known-bugs and add the test case from the corresponding issue
2024-04-08 15:08:06 +00:00
type-alias-impl-trait-with-no-traits.rs
…
type-alias-impl-trait-with-no-traits.stderr
…
type-alias-impl-trait.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
type-alias-impl-trait2.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
type-alias-nested-impl-trait.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
type_of_a_let.current.stderr
Ignore tests w/ current/next revisions from compare-mode=next-solver
2024-03-10 21:18:41 -04:00
type_of_a_let.rs
Ignore tests w/ current/next revisions from compare-mode=next-solver
2024-03-10 21:18:41 -04:00
unbounded_opaque_type.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
unconstrained-due-to-bad-pattern.rs
Also consider TAIT to be uncomputable if the MIR body is tainted
2023-10-30 20:16:22 +00:00
unconstrained-due-to-bad-pattern.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
unconstrained-impl-param.rs
Fix tests
2023-08-12 17:18:46 +00:00
unconstrained-impl-param.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
under-binder.rs
don't replace opaque types under binders with infer vars
2023-08-06 12:08:32 +00:00
under-binder.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
underconstrained_generic.rs
…
underconstrained_generic.stderr
Provide more context on derived obligation error primary label
2024-01-30 21:28:18 +00:00
underconstrained_lifetime.rs
…
underconstrained_lifetime.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
underef-index-out-of-bounds-121472.rs
add test for ice #121472
2024-03-22 08:19:44 +01:00
underef-index-out-of-bounds-121472.stderr
add test for ice #121472
2024-03-22 08:19:44 +01:00
unnameable_type.rs
Test that we cannot use trait impl methods arguments as defining uses
2023-01-11 14:00:25 -08:00
unnameable_type.stderr
Handle weak type aliases by immediately resolving them to their aliased type
2023-06-22 15:51:19 +00:00
unused_generic_param.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
variance.rs
Don't repeatedly duplicate TAIT lifetimes for each subsequently nested TAIT
2024-04-17 22:29:59 -04:00
variance.stderr
Don't repeatedly duplicate TAIT lifetimes for each subsequently nested TAIT
2024-04-17 22:29:59 -04:00
weird-return-types.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
wf-check-definition-site.rs
update comments
2024-02-27 18:40:58 +01:00
wf-check-fn-def.rs
…
wf-check-fn-def.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
wf-check-fn-ptrs.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
wf-check-rpit-lifetimes.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
wf-in-associated-type.fail.stderr
update tests
2023-11-09 11:32:51 +01:00
wf-in-associated-type.rs
[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives
2024-02-16 20:02:50 +00:00
wf-nested.fail.stderr
when defining opaques, require the hidden type to be well-formed
2024-02-27 15:57:49 +01:00
wf-nested.pass.stderr
when defining opaques, require the hidden type to be well-formed
2024-02-27 15:57:49 +01:00
wf-nested.pass_sound.stderr
when defining opaques, require the hidden type to be well-formed
2024-02-27 15:57:49 +01:00
wf-nested.rs
update comments
2024-02-27 18:40:58 +01:00
wf-nested.stderr
update comments
2024-02-27 18:40:58 +01:00
wf_check_closures.rs
…
wf_check_closures.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
