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
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
assoc-type-lifetime-unconstrained.rs
assoc-type-lifetime-unconstrained.stderr
assoc-type-lifetime.rs
associated-type-alias-impl-trait.rs
associated-type-impl-trait-lifetime.rs
auto-trait-leakage2.rs
auto-trait-leakage2.stderr
auto-trait-leakage3.rs
auto-trait-leakage3.stderr
auto-trait-leakage.rs
bivariant-duplicate-lifetime-unconstrained.rs
bound_reduction2.rs
bound_reduction2.stderr
bound_reduction.rs
bounds-are-checked3.rs
bounds-are-checked3.stderr
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
bounds.rs
broken_mir.rs
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_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_infer.rs
closure_parent_substs.rs
closure_wf_outlives.rs
closure_wf_outlives.stderr
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
closures_in_branches.rs
closures_in_branches.stderr
coherence_cross_crate.rs
coherence_cross_crate.stderr
coherence_different_hidden_ty.rs
coherence_different_hidden_ty.stderr
coherence_generalization.rs
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
collect_hidden_types.rs
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_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_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_inputs_unsound.rs
constrain_inputs_unsound.stderr
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
cross_crate_ice2.rs
cross_crate_ice.rs
cross_inference_pattern_bug_no_type.rs
cross_inference_pattern_bug.rs
cross_inference_rpit.rs
cross_inference.rs
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
declared_but_not_defined_in_scope.rs
declared_but_not_defined_in_scope.stderr
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
defined-in-closure-external-lifetime.stderr
defining-use-submodule.rs
destructure_tait-ice-113594.rs
destructure_tait-layout_of-ice-113594.rs
destructuring.rs
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_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_defining_uses_never_type2.rs
different_defining_uses_never_type3.rs
different_defining_uses_never_type3.stderr
different_defining_uses_never_type-2.rs
different_defining_uses_never_type-2.stderr
different_defining_uses_never_type-3.rs
different_defining_uses_never_type-3.stderr
different_defining_uses_never_type.rs
different_defining_uses_never_type.stderr
different_defining_uses.rs
different_defining_uses.stderr
different_lifetimes_defining_uses.rs
different_lifetimes_defining_uses.stderr
drop-shim-relates-opaque-issue-114375.rs
duplicate-lifetimes-from-rpit-containing-tait2.rs
duplicate-lifetimes-from-rpit-containing-tait.rs
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
equal-lifetime-params-ok.rs
escaping-bound-var.rs
escaping-bound-var.stderr
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
field-types.rs
future.rs
future.stderr
generic_different_defining_uses.rs
generic_different_defining_uses.stderr
generic_duplicate_lifetime_param.rs
generic_duplicate_lifetime_param.stderr
generic_duplicate_param_use2.rs
generic_duplicate_param_use2.stderr
generic_duplicate_param_use3.rs
generic_duplicate_param_use3.stderr
generic_duplicate_param_use4.rs
generic_duplicate_param_use4.stderr
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
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
generic_duplicate_param_use.rs
generic_duplicate_param_use.stderr
generic_lifetime_param.rs
generic_nondefining_use.rs
generic_nondefining_use.stderr
generic_not_used.rs
generic_not_used.stderr
generic_type_does_not_live_long_enough.rs
generic_type_does_not_live_long_enough.stderr
generic_underconstrained2.rs
generic_underconstrained2.stderr
generic_underconstrained.rs
generic_underconstrained.stderr
generic-not-strictly-equal.basic.stderr
generic-not-strictly-equal.member_constraints.stderr
generic-not-strictly-equal.rs
hidden_behind_projection_behind_struct_field.rs
hidden_behind_projection_behind_struct_field.stderr
hidden_behind_struct_field2.rs
hidden_behind_struct_field2.stderr
hidden_behind_struct_field3.rs
hidden_behind_struct_field3.stderr
hidden_behind_struct_field.rs
hidden_type_mismatch.rs
hidden_type_mismatch.stderr
higher_kinded_params2.rs
higher_kinded_params2.stderr
higher_kinded_params3.rs
higher_kinded_params3.stderr
higher_kinded_params.rs
hkl_forbidden2.rs
hkl_forbidden2.stderr
hkl_forbidden3.rs
hkl_forbidden3.stderr
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
hkl_forbidden.rs
hkl_forbidden.stderr
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_for_weak_alias.rs
impl_for_weak_alias.stderr
impl_trait_for_generic_tait.rs
impl_trait_for_same_tait.rs
impl_trait_for_same_tait.stderr
impl_trait_for_tait_bound2.rs
impl_trait_for_tait_bound2.stderr
impl_trait_for_tait_bound.rs
impl_trait_for_tait_bound.stderr
impl_trait_for_tait.rs
impl_trait_in_trait_defined_outside_trait2.rs
impl_trait_in_trait_defined_outside_trait2.stderr
impl_trait_in_trait_defined_outside_trait3.rs
impl_trait_in_trait_defined_outside_trait.rs
impl_trait_in_trait_defined_outside_trait.stderr
impl-trait-in-type-alias-with-bad-substs.rs
impl-trait-in-type-alias-with-bad-substs.stderr
impl-with-unconstrained-param.rs
impl-with-unconstrained-param.stderr
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
implied_bounds_closure.rs
implied_bounds_closure.stderr
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_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_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
implied_lifetime_wf_check.rs
imply_bounds_from_bounds_param.rs
imply_bounds_from_bounds_param.stderr
imply_bounds_from_bounds.rs
in-assoc-ty-early-bound2.rs
in-assoc-ty-early-bound2.stderr
in-assoc-ty-early-bound.rs
in-assoc-ty-early-bound.stderr
in-where-clause.rs
in-where-clause.stderr
incoherent-assoc-imp-trait.rs
incoherent-assoc-imp-trait.stderr
incomplete-inference.rs
incomplete-inference.stderr
indirect-recursion-issue-112047.rs
indirect-recursion-issue-112047.stderr	Tighten spans for async blocks	2024-06-27 15:19:08 -04:00
inference-cycle.rs
inference-cycle.stderr
infinite-cycle-involving-weak.rs
infinite-cycle-involving-weak.stderr
invalid_impl_trait_in_assoc_ty.rs
invalid_impl_trait_in_assoc_ty.stderr
issue-52843-closure-constrain.rs
issue-52843-closure-constrain.stderr
issue-52843.rs
issue-52843.stderr
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
issue-53598.stderr
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
issue-57188-associate-impl-capture.rs
issue-57611-trait-alias.rs
issue-57700.rs
issue-57700.stderr
issue-57807-associated-type.rs
issue-57961.rs
issue-57961.stderr
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
issue-58887.rs
issue-58951-2.rs
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
issue-60371.stderr
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
issue-60564.rs
issue-60564.stderr
issue-60662.rs
issue-60662.stdout	hir pretty: fix block indent	2024-05-20 20:30:44 +02:00
issue-62000-associate-impl-trait-lifetimes.rs
issue-63263-closure-return.rs
issue-63279.rs
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
issue-65384.rs
issue-65384.stderr
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
issue-67844-nested-opaque.rs
issue-68368-non-defining-use-2.rs
issue-68368-non-defining-use-2.stderr
issue-68368-non-defining-use.rs
issue-68368-non-defining-use.stderr
issue-69136-inner-lifetime-resolve-error.rs
issue-69136-inner-lifetime-resolve-error.stderr
issue-69136-inner-lifetime-resolve-ok.rs
issue-69323.rs
issue-70121.rs
issue-70121.stderr
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
issue-74244.stderr
issue-74280.rs
issue-74280.stderr
issue-74761-2.rs
issue-74761-2.stderr
issue-74761.rs
issue-74761.stderr
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
issue-77179.stderr
issue-78450.rs
issue-84660-trait-impl-for-tait.rs
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
issue-89686.rs
issue-89686.stderr
issue-89952.rs
issue-90400-1.rs
issue-90400-1.stderr
issue-90400-2.rs
issue-90400-2.stderr
issue-93411.rs
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
issue-96572-unconstrained.rs
issue-98604.rs
issue-98604.stderr
issue-98608.rs
issue-98608.stderr
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
issue-104817.stock.stderr
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
itiat-allow-nested-closures.rs
itiat-forbid-nested-items.rs
itiat-forbid-nested-items.stderr
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
lifetime_mismatch.stderr
match-unification.rs
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
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
missing_lifetime_bound.rs
missing_lifetime_bound.stderr
multi-error.rs
multi-error.stderr
multiple_definitions.rs
multiple-def-uses-in-one-fn2.rs
multiple-def-uses-in-one-fn2.stderr
multiple-def-uses-in-one-fn3.rs
multiple-def-uses-in-one-fn3.stderr
multiple-def-uses-in-one-fn-infer.rs
multiple-def-uses-in-one-fn-infer.stderr
multiple-def-uses-in-one-fn-lifetimes.rs
multiple-def-uses-in-one-fn-lifetimes.stderr
multiple-def-uses-in-one-fn-pass.rs
multiple-def-uses-in-one-fn.rs
multiple-def-uses-in-one-fn.stderr
mututally-recursive-overflow.rs
mututally-recursive-overflow.stderr
nested_impl_trait_in_assoc_ty.rs
nested_in_closure.rs
nested_inference_failure.rs
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
nested-impl-trait-in-tait.rs
nested-impl-trait-in-tait.stderr
nested-in-anon-const.rs
nested-in-anon-const.stderr
nested-rpit-with-lifetimes.rs
nested-tait-hrtb.rs
nested-tait-hrtb.stderr
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-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.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
never_reveal_concrete_type.rs
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
non-defining-method.rs
non-defining-method.stderr
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
not_a_defining_use.rs
not_a_defining_use.stderr
not_well_formed.rs
not_well_formed.stderr
not-matching-trait-refs-isnt-defining.rs
not-matching-trait-refs-isnt-defining.stderr
obligation_ice.rs
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_mismatch2.rs
param_mismatch2.stderr
param_mismatch3.rs
param_mismatch3.stderr
param_mismatch4.rs
param_mismatch4.stderr
param_mismatch.rs
param_mismatch.stderr
privacy.rs
privacy.stderr
recursive-fn-tait.rs
recursive-fn-tait.stderr
recursive-tait-conflicting-defn-2.rs
recursive-tait-conflicting-defn-2.stderr
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
reveal_local.stderr
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
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
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
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
self-referential-4.stderr
self-referential.rs
self-referential.stderr
static-const-types.rs
static-lifetime-through-closure-issue-122775.rs	Add test for #122775	2024-05-11 12:59:06 +02:00
struct-assignment-validity.rs
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
tait-normalize.rs
tait-param-inference-issue-117310.rs
type_of_a_let.current.stderr
type_of_a_let.rs
type-alias-impl-trait2.rs
type-alias-impl-trait-assoc-dyn.rs
type-alias-impl-trait-assoc-impl-trait.rs
type-alias-impl-trait-const.rs
type-alias-impl-trait-fn-type.rs
type-alias-impl-trait-fn-type.stderr
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
type-alias-impl-trait-struct.rs
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
type-alias-impl-trait-unconstrained-lifetime.stderr
type-alias-impl-trait-with-cycle-error-1.rs
type-alias-impl-trait-with-cycle-error-1.stderr
type-alias-impl-trait-with-cycle-error-2.rs
type-alias-impl-trait-with-cycle-error-2.stderr
type-alias-impl-trait-with-cycle-error-3.rs
type-alias-impl-trait-with-cycle-error-3.stderr
type-alias-impl-trait-with-cycle-error-4.rs
type-alias-impl-trait-with-cycle-error-4.stderr
type-alias-impl-trait-with-no-traits.rs
type-alias-impl-trait-with-no-traits.stderr
type-alias-impl-trait.rs
type-alias-nested-impl-trait.rs
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
unconstrained-due-to-bad-pattern.stderr
unconstrained-impl-param.rs
unconstrained-impl-param.stderr
under-binder.rs
under-binder.stderr
underconstrained_generic.rs
underconstrained_generic.stderr
underconstrained_lifetime.rs
underconstrained_lifetime.stderr
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
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
wf_check_closures.rs
wf_check_closures.stderr
wf-check-definition-site.rs
wf-check-fn-def.rs
wf-check-fn-def.stderr
wf-check-fn-ptrs.rs
wf-check-rpit-lifetimes.rs
wf-in-associated-type.fail.stderr
wf-in-associated-type.rs
wf-nested.fail.stderr
wf-nested.pass_sound.stderr
wf-nested.pass.stderr
wf-nested.rs
wf-nested.stderr