dnrops
/
rust
mirror of https://github.com/rust-lang/rust.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
rust/tests/ui/type-alias-impl-trait
History
bors 89aefb9c53 Auto merge of #127172 - compiler-errors:full-can_eq-everywhere, r=lcnr 
Make `can_eq` process obligations (almost) everywhere

Move `can_eq` to an extension trait on `InferCtxt` in `rustc_trait_selection`, and change it so that it processes obligations. This should strengthen it to be more accurate in some cases, but is most important for the new trait solver which delays relating aliases to `AliasRelate` goals. Without this, we always basically just return true when passing aliases to `can_eq`, which can lead to weird errors, for example #127149.

I'm not actually certain if we should *have* `can_eq` be called on the good path. In cases where we need `can_eq`, we probably should just be using a regular probe.

Fixes #127149

r? lcnr
 		2024-07-07 23:03:48 +00:00
..
auxiliary [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives 2024-02-16 20:02:50 +00:00
argument-types.rs Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
assoc-projection-ice.rs Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +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 Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
bounds-are-checked-2.stderr Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
bounds-are-checked.rs
…
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 Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
closure_args.rs Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
closure_args2.rs Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +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.classic.stderr Orphanck: Consider opaque types to never cover type parameters 2024-06-04 18:57:19 +02:00
coherence.next.stderr Orphanck: Consider opaque types to never cover type parameters 2024-06-04 18:57:19 +02:00
coherence.rs Orphanck: Consider opaque types to never cover type parameters 2024-06-04 18:57:19 +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
const_generic_type.infer.stderr Bless tests and handle tests/crashes 2024-06-05 22:25:42 +01:00
const_generic_type.no_infer.stderr Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
const_generic_type.rs Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
constrain_in_projection.current.stderr Revert "When checking whether an impl applies, constrain hidden types of opaque types." 2024-06-11 08:08:25 +00:00
constrain_in_projection.rs Revert "When checking whether an impl applies, constrain hidden types of opaque types." 2024-06-11 08:08:25 +00:00
constrain_in_projection2.current.stderr Spell out other trait diagnostic 2024-06-12 12:34:47 +00:00
constrain_in_projection2.next.stderr Add more tests 2024-05-23 15:48:06 +00:00
constrain_in_projection2.rs Revert "When checking whether an impl applies, constrain hidden types of opaque types." 2024-06-11 08:08:25 +00:00
constrain_inputs.rs Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
constrain_inputs.stderr Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
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 Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +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 Fix typos (taking into account review comments) 2024-05-18 18:12:18 +02: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_args_considered_equal.rs Test that opaque types can't have themselves as a hidden type with incompatible lifetimes 2024-06-18 15:41:27 +00:00
different_args_considered_equal.stderr Test that opaque types can't have themselves as a hidden type with incompatible lifetimes 2024-06-18 15:41:27 +00:00
different_args_considered_equal2.rs Test that opaque types can't have themselves as a hidden type with incompatible lifetimes 2024-06-18 15:41:27 +00:00
different_args_considered_equal2.stderr Test that opaque types can't have themselves as a hidden type with incompatible lifetimes 2024-06-18 15:41:27 +00:00
different_args_considered_equal3.rs Test that opaque types can't have themselves as a hidden type with incompatible lifetimes 2024-06-18 15:41:27 +00:00
different_args_considered_equal3.stderr Test that opaque types can't have themselves as a hidden type with incompatible lifetimes 2024-06-18 15:41:27 +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 Fix typos (taking into account review comments) 2024-05-18 18:12:18 +02: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 Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
failed-to-normalize-ice-99945.stderr Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00: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 Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
hkl_forbidden4.stderr Automatically taint InferCtxt when errors are emitted 2024-06-26 16:01:45 +00:00
ice-failed-to-resolve-instance-for-110696.rs Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
ice-failed-to-resolve-instance-for-110696.stderr Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00: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 Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
implied_bounds.stderr Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
implied_bounds2.rs Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +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 Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
implied_bounds_from_types.stderr Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +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 Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
implied_lifetime_wf_check3.stderr Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
implied_lifetime_wf_check4_static.rs Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
implied_lifetime_wf_check4_static.stderr Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +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 Tighten spans for async blocks 2024-06-27 15:19:08 -04: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 Automatically taint InferCtxt when errors are emitted 2024-06-26 16:01:45 +00:00
issue-53092-2.stderr Automatically taint InferCtxt when errors are emitted 2024-06-26 16:01:45 +00:00
issue-53092.rs Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
issue-53092.stderr Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
issue-53096.rs Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
issue-53096.stderr Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00: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 Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +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 Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
issue-60407.stderr Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00: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 hir pretty: fix block indent 2024-05-20 20:30:44 +02: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 Use parenthetical notation for `Fn` traits 2024-05-29 22:26:54 +00:00
issue-63355.rs Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
issue-63355.stderr Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +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 Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
issue-65918.rs Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +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 Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +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 Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00: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.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
issue-84660-unsoundness.next.stderr Walk into alias-eq nested goals even if normalization fails 2024-06-12 19:03:37 -04:00
issue-84660-unsoundness.rs Also passthrough for projection clauses 2024-06-12 19:10:02 -04: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
…
issue-98608.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-101750.rs Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +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 Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
issue-109054.stderr Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00: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
lazy_subtyping_of_opaques.rs Allow constraining opaque types during subtyping in the trait system 2024-06-19 08:29:17 +00:00
lazy_subtyping_of_opaques.stderr Allow constraining opaque types during subtyping in the trait system 2024-06-19 08:29:17 +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
method_resolution.current.stderr Add some tests 2024-06-13 10:41:52 +00:00
method_resolution.next.stderr Add some tests 2024-06-13 10:41:52 +00:00
method_resolution.rs 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 Actually just make can_eq process obligations (almost) everywhere 2024-07-05 11:59:54 -04:00
method_resolution3.next.stderr Actually just make can_eq process obligations (almost) everywhere 2024-07-05 11:59:54 -04:00
method_resolution3.rs Actually just make can_eq process obligations (almost) everywhere 2024-07-05 11:59:54 -04:00
method_resolution4.current.stderr Actually just make can_eq process obligations (almost) everywhere 2024-07-05 11:59:54 -04:00
method_resolution4.next.stderr Actually just make can_eq process obligations (almost) everywhere 2024-07-05 11:59:54 -04:00
method_resolution4.rs Actually just make can_eq process obligations (almost) everywhere 2024-07-05 11:59:54 -04:00
method_resolution5.rs Method resolution constrains hidden types instead of rejecting method candidates 2024-06-13 10:41:53 +00:00
method_resolution_trait_method_from_opaque.current.stderr Add some tests 2024-06-13 10:41:52 +00:00
method_resolution_trait_method_from_opaque.next.stderr Add some tests 2024-06-13 10:41:52 +00:00
method_resolution_trait_method_from_opaque.rs Add some tests 2024-06-13 10:41:52 +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.current.stderr Also test under next solver 2024-06-11 08:19:19 +00:00
nested-tait-inference.rs Also test under next solver 2024-06-11 08:19:19 +00:00
nested-tait-inference2.current.stderr Spell out other trait diagnostic 2024-06-12 12:34:47 +00:00
nested-tait-inference2.next.stderr Also test under next solver 2024-06-11 08:19:19 +00:00
nested-tait-inference2.rs Also test under next solver 2024-06-11 08:19:19 +00:00
nested-tait-inference3.rs Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
nested-tait-inference3.stderr Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
nested.rs Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
nested.stderr Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00: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 any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
nested_type_alias_impl_trait.stderr Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00: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 Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
no_inferrable_concrete_type.stderr Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00: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 Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
normalize-hidden-types.current.stderr Revert "When checking whether an impl applies, constrain hidden types of opaque types." 2024-06-11 08:08:25 +00: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 Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +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 Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
recursive-tait-conflicting-defn.stderr Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00: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 Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
rpit_tait_equality_in_canonical_query_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
self-referential-2.current.stderr Revert "When checking whether an impl applies, constrain hidden types of opaque types." 2024-06-11 08:08:25 +00:00
self-referential-2.rs Revert "When checking whether an impl applies, constrain hidden types of opaque types." 2024-06-11 08:08:25 +00:00
self-referential-3.rs Revert "When checking whether an impl applies, constrain hidden types of opaque types." 2024-06-11 08:08:25 +00:00
self-referential-3.stderr Revert "When checking whether an impl applies, constrain hidden types of opaque types." 2024-06-11 08:08:25 +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 Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
static-const-types.rs [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives 2024-02-16 20:02:50 +00:00
static-lifetime-through-closure-issue-122775.rs Add test for #122775 2024-05-11 12:59:06 +02: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 Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
structural-match-no-leak.stderr Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
structural-match.rs Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
structural-match.stderr Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
tait-in-function-return-type-issue-101903-fixed.rs 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 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-fns.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-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.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-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 Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +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 Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
underef-index-out-of-bounds-121472.stderr Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
unnameable_type.rs Require any function with a tait in its signature to actually constrain a hidden type 2024-06-12 08:53:59 +00:00
unnameable_type.stderr Use verbose suggestion for changing arg type 2024-07-05 20:58:33 +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