Exact

Exact Union RegExp

Matthias Krüger 67e2358fbb Rollup merge of #139902 - lcnr:no-opaque-cast-projection, r=oli-obk ... do not emit `OpaqueCast` projections with `-Znext-solver` We normalize opaque types in their defining scope if the new solver is enabled. This means projections do not contain any 'revealable' opaque types we need to worry about. We either have a type which has been normalized by writeback or we need to normalize it anyways. r? ```@compiler-errors``` ```@oli-obk```		2025-04-17 17:40:28 +02:00
..
auxiliary	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
define_opaques_attr	fix ICE #138415	2025-03-23 17:02:42 +09:00
argument-types.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
assoc-projection-ice.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +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	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
associated-type-impl-trait-lifetime.rs
auto-trait-leakage.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
auto-trait-leakage2.rs	UI tests: add missing diagnostic kinds where possible	2025-04-08 23:06:31 +03:00
auto-trait-leakage2.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
auto-trait-leakage3.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
bad-tait-no-substs.rs	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
bad-tait-no-substs.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
bad-transmute-itiat.rs	Stop being so bail-y in candidate assembly	2024-11-21 01:35:34 +00:00
bad-transmute-itiat.stderr	Stop being so bail-y in candidate assembly	2024-11-21 01:35:34 +00:00
bivariant-duplicate-lifetime-unconstrained.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
bound-lifetime-through-dyn-trait.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
bound-lifetime-through-dyn-trait.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
bound_reduction.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
bound_reduction2.rs	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
bound_reduction2.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
bounds-are-checked-2.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
bounds-are-checked-2.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
bounds-are-checked.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
bounds-are-checked.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
bounds-are-checked3.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
bounds-are-checked3.stderr	Mention type parameter in more cases and don't suggest ~const bound already there	2024-12-07 21:37:13 +00:00
bounds.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
broken_mir.rs
closure-normalization-ice-109020.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
closure_args.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
closure_args2.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
closure_infer.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
closure_parent_substs.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
closure_wf_outlives.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
closure_wf_outlives.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
closures_in_branches.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
closures_in_branches.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
coherence.classic.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
coherence.next.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
coherence.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
coherence_cross_crate.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
coherence_cross_crate.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
coherence_different_hidden_ty.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
coherence_different_hidden_ty.stderr
coherence_generalization.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
collect_hidden_types.rs
const_generic_type.infer.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
const_generic_type.no_infer.stderr	merge opaque types of nested bodies	2025-03-19 17:52:53 +01:00
const_generic_type.rs	merge opaque types of nested bodies	2025-03-19 17:52:53 +01:00
constrain_in_projection.current.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
constrain_in_projection.rs	UI tests: add missing diagnostic kinds where possible	2025-04-08 23:06:31 +03:00
constrain_in_projection2.current.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
constrain_in_projection2.next.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
constrain_in_projection2.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
constrain_inputs.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
constrain_inputs.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
constrain_inputs_unsound.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
constrain_inputs_unsound.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
cross_crate_ice.rs
cross_crate_ice2.rs
cross_inference.rs
cross_inference_pattern_bug.rs	replace //@ compile-flags: --edition with //@ edition	2025-04-10 09:56:37 +02:00
cross_inference_pattern_bug_no_type.rs	check OpaqueCast tests with next-solver	2025-04-17 12:41:20 +02:00
cross_inference_rpit.rs
debug-ty-with-weak.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
declared_but_never_defined.rs
declared_but_never_defined.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
declared_but_not_defined_in_scope.rs	UI tests: add missing diagnostic kinds where possible	2025-04-08 23:06:31 +03:00
declared_but_not_defined_in_scope.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
defined-by-user-annotation.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
defined-in-closure-external-lifetime.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
defined-in-closure-external-lifetime.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
defining-use-submodule.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
destructure_tait-ice-113594.rs	check OpaqueCast tests with next-solver	2025-04-17 12:41:20 +02:00
destructure_tait-layout_of-ice-113594.rs
destructuring.rs
different_args_considered_equal.rs	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
different_args_considered_equal.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
different_args_considered_equal2.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
different_args_considered_equal2.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
different_args_considered_equal3.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
different_args_considered_equal3.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
different_defining_uses.rs	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
different_defining_uses.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
different_defining_uses_never_type-2.rs	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
different_defining_uses_never_type-2.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
different_defining_uses_never_type-3.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
different_defining_uses_never_type-3.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
different_defining_uses_never_type.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
different_defining_uses_never_type.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
different_defining_uses_never_type2.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
different_defining_uses_never_type3.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
different_defining_uses_never_type3.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
different_lifetimes_defining_uses.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
different_lifetimes_defining_uses.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
drop-analysis-on-unconstrained-tait.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
drop-analysis-on-unconstrained-tait.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
drop-shim-relates-opaque-issue-114375.rs
duplicate-lifetimes-from-rpit-containing-tait.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
duplicate-lifetimes-from-rpit-containing-tait2.rs
equal-lifetime-params-not-ok.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
equal-lifetime-params-not-ok.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
equal-lifetime-params-ok.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
error-tainting-issue-122904.rs	merge opaque types of nested bodies	2025-03-19 17:52:53 +01:00
error-tainting-issue-122904.stderr	merge opaque types of nested bodies	2025-03-19 17:52:53 +01:00
escaping-bound-var.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
escaping-bound-var.stderr	Remap impl-trait lifetimes on HIR instead of AST lowering.	2024-10-30 16:18:50 +00:00
failed-to-normalize-ice-99945.rs	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
failed-to-normalize-ice-99945.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
fallback.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
fallback.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
field-types.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
future.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
future.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
generic-not-strictly-equal.basic.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
generic-not-strictly-equal.member_constraints.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
generic-not-strictly-equal.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
generic_different_defining_uses.rs	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
generic_different_defining_uses.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
generic_duplicate_lifetime_param.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
generic_duplicate_lifetime_param.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
generic_duplicate_param_use.rs	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
generic_duplicate_param_use.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
generic_duplicate_param_use2.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
generic_duplicate_param_use2.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
generic_duplicate_param_use3.rs	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
generic_duplicate_param_use3.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
generic_duplicate_param_use4.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
generic_duplicate_param_use4.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
generic_duplicate_param_use5.rs	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
generic_duplicate_param_use5.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
generic_duplicate_param_use6.rs	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
generic_duplicate_param_use6.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
generic_duplicate_param_use7.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
generic_duplicate_param_use8.rs	UI tests: add missing diagnostic kinds where possible	2025-04-08 23:06:31 +03:00
generic_duplicate_param_use8.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
generic_duplicate_param_use9.rs	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
generic_duplicate_param_use9.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
generic_duplicate_param_use10.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
generic_lifetime_param.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
generic_nondefining_use.rs	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
generic_nondefining_use.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
generic_not_used.rs	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
generic_not_used.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
generic_type_does_not_live_long_enough.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
generic_type_does_not_live_long_enough.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
generic_underconstrained.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
generic_underconstrained.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
generic_underconstrained2.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
generic_underconstrained2.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
hidden_behind_projection_behind_struct_field.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
hidden_behind_projection_behind_struct_field.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
hidden_behind_struct_field.rs
hidden_behind_struct_field2.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
hidden_behind_struct_field2.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
hidden_behind_struct_field3.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
hidden_behind_struct_field3.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
hidden_type_mismatch.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
hidden_type_mismatch.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
higher_kinded_params.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
higher_kinded_params2.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
higher_kinded_params3.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
higher_kinded_params3.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
hkl_forbidden.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
hkl_forbidden.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
hkl_forbidden2.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
hkl_forbidden2.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
hkl_forbidden3.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
hkl_forbidden3.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
hkl_forbidden4.rs	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
hkl_forbidden4.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
ice-failed-to-resolve-instance-for-110696.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
ice-failed-to-resolve-instance-for-110696.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
impl-trait-in-type-alias-with-bad-substs.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
impl-trait-in-type-alias-with-bad-substs.stderr	Improve AssocItem::descr.	2025-04-11 11:03:08 +10:00
impl-with-unconstrained-param.rs	Do not project when there are unconstrained impl params	2025-01-03 05:01:14 +00:00
impl-with-unconstrained-param.stderr	Do not project when there are unconstrained impl params	2025-01-03 05:01:14 +00:00
impl_for_weak_alias.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
impl_for_weak_alias.stderr
impl_trait_for_generic_tait.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
impl_trait_for_same_tait.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
impl_trait_for_same_tait.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
impl_trait_for_tait.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
impl_trait_for_tait_bound.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
impl_trait_for_tait_bound.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
impl_trait_for_tait_bound2.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
impl_trait_for_tait_bound2.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
impl_trait_in_trait_defined_outside_trait.rs
impl_trait_in_trait_defined_outside_trait.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
impl_trait_in_trait_defined_outside_trait2.rs
impl_trait_in_trait_defined_outside_trait2.stderr
impl_trait_in_trait_defined_outside_trait3.rs
implied_bounds.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
implied_bounds.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
implied_bounds2.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
implied_bounds3.rs
implied_bounds_closure.rs
implied_bounds_closure.stderr
implied_bounds_from_types.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
implied_bounds_from_types.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
implied_lifetime_wf_check.error.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
implied_lifetime_wf_check.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
implied_lifetime_wf_check3.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
implied_lifetime_wf_check3.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
implied_lifetime_wf_check4_static.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
implied_lifetime_wf_check4_static.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
imply_bounds_from_bounds.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
imply_bounds_from_bounds_param.rs
imply_bounds_from_bounds_param.stderr	Bless test fallout	2024-08-17 12:43:25 -04:00
in-assoc-ty-early-bound.rs
in-assoc-ty-early-bound.stderr
in-assoc-ty-early-bound2.rs	merge opaque types of nested bodies	2025-03-19 17:52:53 +01:00
in-assoc-ty-early-bound2.stderr	merge opaque types of nested bodies	2025-03-19 17:52:53 +01:00
in-where-clause.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
in-where-clause.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
incoherent-assoc-imp-trait.rs
incoherent-assoc-imp-trait.stderr
incomplete-inference.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
incomplete-inference.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
indirect-recursion-issue-112047.rs	Eagerly detect coroutine recursion pre-mono when possible	2025-02-05 18:36:17 +00:00
indirect-recursion-issue-112047.stderr	Eagerly detect coroutine recursion pre-mono when possible	2025-02-05 18:36:17 +00:00
inference-cycle.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
infinite-cycle-involving-weak.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
infinite-cycle-involving-weak.stderr
invalid_impl_trait_in_assoc_ty.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
invalid_impl_trait_in_assoc_ty.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-52843.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-52843.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-53092-2.rs	Allow defining opaques in statics and consts	2025-03-25 16:44:59 +00:00
issue-53092-2.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
issue-53092.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-53092.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-53096.rs	Remove attribute #[rustc_error]	2025-03-30 01:32:21 +03:00
issue-53598.rs	compiletest: Stricter parsing for diagnostic kinds	2025-04-07 19:13:31 +03:00
issue-53598.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
issue-53678-coroutine-and-const-fn.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-55099-lifetime-inference.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-57188-associate-impl-capture.rs
issue-57611-trait-alias.rs
issue-57807-associated-type.rs
issue-57961.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-57961.stderr
issue-58662-coroutine-with-lifetime.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-58662-simplified.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-58887.rs
issue-58951-2.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-58951.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-60371.rs
issue-60371.stderr
issue-60407.rs	Remove attribute #[rustc_error]	2025-03-30 01:32:21 +03:00
issue-60564-working.rs
issue-60564.rs	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
issue-60564.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
issue-60662.rs	Explicitly annotate edition for unpretty=expanded and unpretty=hir tests	2025-04-16 11:10:10 +02:00
issue-60662.stdout	Explicitly annotate edition for unpretty=expanded and unpretty=hir tests	2025-04-16 11:10:10 +02:00
issue-62000-associate-impl-trait-lifetimes.rs
issue-63263-closure-return.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-63279.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-63279.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-63355.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-63355.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-63677-type-alias-coherence.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-65384.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-65384.stderr
issue-65679-inst-opaque-ty-from-val-twice.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-65918.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-66580-closure-coherence.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-67844-nested-opaque.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-68368-non-defining-use-2.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-68368-non-defining-use-2.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
issue-68368-non-defining-use.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-68368-non-defining-use.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
issue-69136-inner-lifetime-resolve-error.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-69136-inner-lifetime-resolve-error.stderr
issue-69136-inner-lifetime-resolve-ok.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-69323.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-70121.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-70121.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-72793.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-74244.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-74244.stderr	Do not project when there are unconstrained impl params	2025-01-03 05:01:14 +00:00
issue-74280.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-74280.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-74761-2.rs
issue-74761-2.stderr
issue-74761.rs
issue-74761.stderr
issue-76202-trait-impl-for-tait.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-77179.rs	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
issue-77179.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
issue-78450.rs
issue-84660-trait-impl-for-tait.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-84660-unsoundness.current.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-84660-unsoundness.next.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-84660-unsoundness.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-87455-static-lifetime-ice.rs
issue-89686.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-89686.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-89952.rs
issue-90400-1.rs
issue-90400-1.stderr	reword trait bound suggestion message to include the bounds	2024-12-07 21:26:20 +00:00
issue-90400-2.rs
issue-90400-2.stderr	reword trait bound suggestion message to include the bounds	2024-12-07 21:26:20 +00:00
issue-93411.rs	replace //@ compile-flags: --edition with //@ edition	2025-04-10 09:56:37 +02: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	Stop inverting expectation in normalization errors	2024-10-16 13:44:56 -04:00
issue-96572-unconstrained-mismatch.rs
issue-96572-unconstrained-mismatch.stderr
issue-96572-unconstrained.rs	replace //@ compile-flags: --edition with //@ edition	2025-04-10 09:56:37 +02:00
issue-98604.rs	Shorten error message for callable with wrong return type	2025-02-02 01:00:33 +00:00
issue-98604.stderr	Shorten error message for callable with wrong return type	2025-02-02 01:00:33 +00:00
issue-98608.rs	Shorten error message for callable with wrong return type	2025-02-02 01:00:33 +00:00
issue-98608.stderr	Shorten error message for callable with wrong return type	2025-02-02 01:00:33 +00:00
issue-101750.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-104817.rs	UI tests: add missing diagnostic kinds where possible	2025-04-08 23:06:31 +03:00
issue-104817.stock.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
issue-109054.rs	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
issue-109054.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
itiat-allow-nested-closures.bad.stderr
itiat-allow-nested-closures.rs
itiat-forbid-nested-items.rs
itiat-forbid-nested-items.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
lazy_subtyping_of_opaques.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
lazy_subtyping_of_opaques.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
lifetime_mismatch.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
lifetime_mismatch.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
match-unification.rs
method_resolution.current.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
method_resolution.next.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
method_resolution.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
method_resolution2.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
method_resolution3.current.stderr	Arbitrary self types v2: use Receiver trait	2024-12-11 11:59:12 +00:00
method_resolution3.next.stderr	Arbitrary self types v2: use Receiver trait	2024-12-11 11:59:12 +00:00
method_resolution3.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
method_resolution4.current.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
method_resolution4.next.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
method_resolution4.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
method_resolution5.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
method_resolution_trait_method_from_opaque.current.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
method_resolution_trait_method_from_opaque.next.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
method_resolution_trait_method_from_opaque.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
missing_lifetime_bound.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
missing_lifetime_bound.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
multi-error.rs	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
multi-error.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
multiple-def-uses-in-one-fn-infer.rs	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
multiple-def-uses-in-one-fn-infer.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
multiple-def-uses-in-one-fn-lifetimes.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
multiple-def-uses-in-one-fn-lifetimes.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
multiple-def-uses-in-one-fn-pass.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
multiple-def-uses-in-one-fn.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
multiple-def-uses-in-one-fn.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
multiple-def-uses-in-one-fn2.rs	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
multiple-def-uses-in-one-fn2.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
multiple-def-uses-in-one-fn3.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
multiple-def-uses-in-one-fn3.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
multiple_definitions.rs
mututally-recursive-overflow.rs
mututally-recursive-overflow.stderr
nested-impl-trait-in-tait.rs
nested-impl-trait-in-tait.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
nested-in-anon-const.rs
nested-in-anon-const.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
nested-rpit-with-lifetimes.rs
nested-tait-hrtb.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
nested-tait-hrtb.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
nested-tait-inference.current.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
nested-tait-inference.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
nested-tait-inference2.current.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
nested-tait-inference2.next.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
nested-tait-inference2.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
nested-tait-inference3.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
nested-tait-inference3.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
nested.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
nested.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
nested_impl_trait_in_assoc_ty.rs
nested_in_closure.rs
nested_inference_failure.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
nested_type_alias_impl_trait.rs	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
nested_type_alias_impl_trait.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
never_reveal_concrete_type.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
no_inferrable_concrete_type.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
no_inferrable_concrete_type.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
no_revealing_outside_defining_module.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
no_revealing_outside_defining_module.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
non-defining-method.rs
non-defining-method.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
normalize-alias-type.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
normalize-hidden-types.current.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
normalize-hidden-types.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
not-matching-trait-refs-isnt-defining.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
not-matching-trait-refs-isnt-defining.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
not_a_defining_use.rs	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
not_a_defining_use.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
not_well_formed.rs	UI tests: add missing diagnostic kinds where possible	2025-04-08 23:06:31 +03:00
not_well_formed.stderr	reword trait bound suggestion message to include the bounds	2024-12-07 21:26:20 +00:00
obligation_ice.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
outlives-bound-var.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
param_mismatch.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
param_mismatch.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
param_mismatch2.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
param_mismatch2.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
param_mismatch3.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
param_mismatch3.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
param_mismatch4.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
param_mismatch4.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
path_resolution_taint.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
path_resolution_taint.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
privacy.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
privacy.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
recursive-fn-tait.rs	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
recursive-fn-tait.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
recursive-tait-conflicting-defn-2.rs	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
recursive-tait-conflicting-defn-2.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
recursive-tait-conflicting-defn.rs	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
recursive-tait-conflicting-defn.stderr	add TypingMode::Borrowck	2025-04-03 11:13:10 +02:00
reveal_local.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
reveal_local.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
rpit_tait_equality_in_canonical_query.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
rpit_tait_equality_in_canonical_query_2.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
self-referential-2.current.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
self-referential-2.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
self-referential-3.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
self-referential-3.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
self-referential-4.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
self-referential-4.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
self-referential.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
self-referential.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
self_implication.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +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	remove remaining references to Reveal	2024-11-23 13:52:56 +01:00
structural-match-no-leak.rs	UI tests: add missing diagnostic kinds where possible	2025-04-08 23:06:31 +03:00
structural-match-no-leak.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
structural-match.rs	UI tests: add missing diagnostic kinds where possible	2025-04-08 23:06:31 +03:00
structural-match.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
taint.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
taint.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
tait-in-function-return-type-issue-101903-fixed.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
tait-normalize.rs	check OpaqueCast tests with next-solver	2025-04-17 12:41:20 +02:00
tait-param-inference-issue-117310.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
type-alias-impl-trait-assoc-dyn.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
type-alias-impl-trait-assoc-impl-trait.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
type-alias-impl-trait-const.rs	Allow defining opaques in statics and consts	2025-03-25 16:44:59 +00:00
type-alias-impl-trait-fn-type.rs
type-alias-impl-trait-fn-type.stderr
type-alias-impl-trait-fns.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
type-alias-impl-trait-fns.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
type-alias-impl-trait-sized.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
type-alias-impl-trait-struct.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
type-alias-impl-trait-tuple.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +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	increment depth of nested obligations	2025-03-31 23:58:17 +02:00
type-alias-impl-trait-with-cycle-error-1.stderr	increment depth of nested obligations	2025-03-31 23:58:17 +02:00
type-alias-impl-trait-with-cycle-error-2.rs	increment depth of nested obligations	2025-03-31 23:58:17 +02:00
type-alias-impl-trait-with-cycle-error-2.stderr	increment depth of nested obligations	2025-03-31 23:58:17 +02:00
type-alias-impl-trait-with-cycle-error-3.rs	increment depth of nested obligations	2025-03-31 23:58:17 +02:00
type-alias-impl-trait-with-cycle-error-3.stderr	increment depth of nested obligations	2025-03-31 23:58:17 +02: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	Bless ui tests.	2024-10-04 23:38:41 +00:00
type-alias-impl-trait-with-no-traits.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
type-alias-impl-trait-with-no-traits.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
type-alias-impl-trait.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
type-alias-impl-trait2.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
type-alias-nested-impl-trait.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
type_of_a_let.current.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
type_of_a_let.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
unbounded_opaque_type.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
unconstrained-due-to-bad-pattern.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
unconstrained-due-to-bad-pattern.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
unconstrained-impl-param.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
unconstrained-impl-param.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
under-binder.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
under-binder.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
underconstrained_generic.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
underconstrained_generic.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
underconstrained_lifetime.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
underconstrained_lifetime.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
underef-index-out-of-bounds-121472.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
underef-index-out-of-bounds-121472.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
unnameable_type.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
unnameable_type.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
unused_generic_param.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
variance.rs	UI tests: add missing diagnostic kinds where possible	2025-04-08 23:06:31 +03:00
variance.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
weird-return-types.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
wf-check-definition-site.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
wf-check-fn-def.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
wf-check-fn-def.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
wf-check-fn-ptrs.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
wf-check-rpit-lifetimes.rs
wf-in-associated-type.fail.stderr	Manually register some bounds for a better span	2024-11-08 04:56:08 +00:00
wf-in-associated-type.rs	Get rid of check_opaque_type_well_formed	2024-11-08 03:46:27 +00:00
wf-nested.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
wf-nested.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
wf_check_closures.rs	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00
wf_check_closures.stderr	Implement #[define_opaque] attribute for functions.	2025-03-11 12:05:02 +00:00