user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/tests/ui/type-alias-impl-trait
History
Matthias Krüger 8492c14170
Rollup merge of #141968 - oli-obk:wfck-everything-at-once, r=wesleywiser 
Run wfcheck in one big loop instead of per module

Maybe we can merge this big loop in the future with the `par_hir_body_owners` call below and run typeck only on items that didn't fail wfcheck. For now let's just see if perf likes it, as it by itself should be beneficial to parallel rustc
2025-06-04 19:50:22 +02:00
..
auxiliary more moved tests 2025-05-09 15:05:11 +00:00
coherence more moved tests 2025-05-09 15:05:11 +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 Ignore tests w/ current/next revisions from compare-mode=next-solver 2024-03-10 21:18:41 -04:00
assoc-type-lifetime-unconstrained.rs Merge check_mod_impl_wf and check_mod_type_wf 2024-03-07 06:27:09 +00:00
assoc-type-lifetime-unconstrained.stderr Merge check_mod_impl_wf and check_mod_type_wf 2024-03-07 06:27:09 +00:00
assoc-type-lifetime.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
associated-type-alias-impl-trait.rs Implement #[define_opaque] attribute for functions. 2025-03-11 12:05:02 +00:00
associated-type-impl-trait-lifetime.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
auto-trait-leakage.rs 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 [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
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
collect_hidden_types.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
const_generic_type.infer.stderr 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 Run wfcheck in one big loop instead of per module 2025-06-03 15:16:51 +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 [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
cross_crate_ice2.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
cross_inference.rs Ignore tests w/ current/next revisions from compare-mode=next-solver 2024-03-10 21:18:41 -04:00
cross_inference_pattern_bug.rs 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 [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
debug-ty-with-weak.rs Implement #[define_opaque] attribute for functions. 2025-03-11 12:05:02 +00:00
declared_but_never_defined.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
destructuring.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
different_args_considered_equal.rs 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 [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
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 [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
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 [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
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 Show number in error message even for one error 2023-11-24 19:15:52 +01:00
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 Add some tests 2024-01-22 14:35:47 +00:00
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 Add some tests 2024-01-22 14:35:47 +00:00
impl_trait_in_trait_defined_outside_trait2.stderr Add some tests 2024-01-22 14:35:47 +00:00
impl_trait_in_trait_defined_outside_trait3.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
implied_bounds.rs 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 [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
implied_bounds_closure.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
implied_bounds_closure.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
implied_bounds_from_types.rs 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 Split out a separate feature gate for impl trait in associated types 2023-04-12 16:17:31 +00:00
imply_bounds_from_bounds_param.stderr Bless test fallout 2024-08-17 12:43:25 -04:00
in-assoc-ty-early-bound.rs Add some tests 2024-01-22 14:35:47 +00:00
in-assoc-ty-early-bound.stderr Add some tests 2024-01-22 14:35:47 +00:00
in-assoc-ty-early-bound2.rs 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 Fix tests 2025-05-21 20:20:19 +01:00
incoherent-assoc-imp-trait.rs Split out a separate feature gate for impl trait in associated types 2023-04-12 16:17:31 +00:00
incoherent-assoc-imp-trait.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
incomplete-inference.rs 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 Just error on recursive opaque ty in HIR typeck 2025-05-20 10:08:56 +00:00
infinite-cycle-involving-weak.stderr Just error on recursive opaque ty in HIR typeck 2025-05-20 10:08:56 +00:00
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 Add iter macro 2025-06-03 10:52:32 -07: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 [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-57611-trait-alias.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-57807-associated-type.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-57961.rs Implement #[define_opaque] attribute for functions. 2025-03-11 12:05:02 +00:00
issue-57961.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-58662-coroutine-with-lifetime.rs 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 [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
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 Split out a separate feature gate for impl trait in associated types 2023-04-12 16:17:31 +00:00
issue-60371.stderr Bless tests 2024-01-13 12:46:58 -05:00
issue-60407.rs Remove attribute #[rustc_error] 2025-03-30 01:32:21 +03:00
issue-60564-working.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
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 [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
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 Remove some unnecessary allow(incomplete_features) 2024-03-11 19:42:04 +00:00
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 Show number in error message even for one error 2023-11-24 19:15:52 +01:00
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 Merge check_mod_impl_wf and check_mod_type_wf 2024-03-07 06:27:09 +00:00
issue-74761-2.stderr Merge check_mod_impl_wf and check_mod_type_wf 2024-03-07 06:27:09 +00:00
issue-74761.rs Merge check_mod_impl_wf and check_mod_type_wf 2024-03-07 06:27:09 +00:00
issue-74761.stderr Merge check_mod_impl_wf and check_mod_type_wf 2024-03-07 06:27:09 +00:00
issue-76202-trait-impl-for-tait.rs 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 Ignore tests w/ current/next revisions from compare-mode=next-solver 2024-03-10 21:18:41 -04:00
issue-84660-trait-impl-for-tait.rs 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 norm nested aliases before evaluating the parent goal 2025-04-24 18:41:43 +00:00
issue-87455-static-lifetime-ice.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-89686.rs 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 [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-90400-1.rs Split out a separate feature gate for impl trait in associated types 2023-04-12 16:17:31 +00:00
issue-90400-1.stderr reword trait bound suggestion message to include the bounds 2024-12-07 21:26:20 +00:00
issue-90400-2.rs Split out a separate feature gate for impl trait in associated types 2023-04-12 16:17:31 +00:00
issue-90400-2.stderr 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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-96572-unconstrained-mismatch.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-96572-unconstrained.rs 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 Get rid of some sub_exp and eq_exp 2024-03-01 01:20:49 +00:00
itiat-allow-nested-closures.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
itiat-forbid-nested-items.rs Check that we forbid nested items, but not nested closures 2024-01-22 14:35:47 +00:00
itiat-forbid-nested-items.stderr 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-def-path-conflict-40731.rs Add DefPathData::OpaqueLifetime to avoid conflicts for remapped opaque lifetimes 2025-05-07 22:17:29 +02:00
lifetime-def-path-conflict-40731.stderr Add DefPathData::OpaqueLifetime to avoid conflicts for remapped opaque lifetimes 2025-05-07 22:17:29 +02: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 [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
match-upvar-discriminant-of-opaque.rs Just error on recursive opaque ty in HIR typeck 2025-05-20 10:08:56 +00:00
match-upvar-discriminant-of-opaque.stderr Just error on recursive opaque ty in HIR typeck 2025-05-20 10:08:56 +00:00
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 [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
mututally-recursive-overflow.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
mututally-recursive-overflow.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
nested-impl-trait-in-tait.rs Hide foreign #[doc(hidden)] paths in import suggestions 2023-12-20 00:19:45 -05:00
nested-impl-trait-in-tait.stderr Implement #[define_opaque] attribute for functions. 2025-03-11 12:05:02 +00:00
nested-in-anon-const.rs Handle ForeignItem as TAIT scope. 2024-01-05 21:49:37 +00:00
nested-in-anon-const.stderr Implement #[define_opaque] attribute for functions. 2025-03-11 12:05:02 +00:00
nested-rpit-with-lifetimes.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
nested-tait-hrtb.rs 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 [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
nested_in_closure.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
nested_inference_failure.rs 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 Make DefiningAnchor::Bind only store the opaque types that may be constrained, instead of the current infcx root item. 2024-03-11 17:19:37 +00:00
non-defining-method.stderr 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 Just error on recursive opaque ty in HIR typeck 2025-05-20 10:08:56 +00:00
recursive-fn-tait.stderr Just error on recursive opaque ty in HIR typeck 2025-05-20 10:08:56 +00:00
recursive-tait-conflicting-defn-2.rs Just error on recursive opaque ty in HIR typeck 2025-05-20 10:08:56 +00:00
recursive-tait-conflicting-defn-2.stderr Just error on recursive opaque ty in HIR typeck 2025-05-20 10:08:56 +00:00
recursive-tait-conflicting-defn.rs Just error on recursive opaque ty in HIR typeck 2025-05-20 10:08:56 +00:00
recursive-tait-conflicting-defn.stderr Just error on recursive opaque ty in HIR typeck 2025-05-20 10:08:56 +00: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 Split note, fix const/static impl trait error 2024-01-07 18:00:03 +00:00
type-alias-impl-trait-fn-type.stderr Split note, fix const/static impl trait error 2024-01-07 18:00:03 +00:00
type-alias-impl-trait-fns.rs 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 Merge check_mod_impl_wf and check_mod_type_wf 2024-03-07 06:27:09 +00:00
type-alias-impl-trait-unconstrained-lifetime.stderr Merge check_mod_impl_wf and check_mod_type_wf 2024-03-07 06:27:09 +00:00
type-alias-impl-trait-with-cycle-error-1.rs 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 [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
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