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