bors 9d6d5d4894 Auto merge of #116751 - Nadrieril:lint-overlap-per-column, r=davidtwco ...

Lint overlapping ranges as a separate pass

This reworks the [`overlapping_range_endpoints`](https://doc.rust-lang.org/beta/nightly-rustc/rustc_lint_defs/builtin/static.OVERLAPPING_RANGE_ENDPOINTS.html) lint. My motivations are:

- It was annoying to have this lint entangled with the exhaustiveness algorithm, especially wrt librarification;
- This makes the lint behave consistently.

Here's the consistency story. Take the following matches:
```rust
match (0u8, true) {
    (0..=10, true) => {}
    (10..20, true) => {}
    (10..20, false) => {}
    _ => {}
}
match (true, 0u8) {
    (true, 0..=10) => {}
    (true, 10..20) => {}
    (false, 10..20) => {}
    _ => {}
}
```
There are two semantically consistent options: option 1 we lint all overlaps between the ranges, option 2 we only lint the overlaps that could actually occur (i.e. the ones with `true`). Option 1 is what this PR does. Option 2 is possible but would require the exhaustiveness algorithm to track more things for the sake of the lint. The status quo is that we're inconsistent between the two.

Option 1 generates more false postives, but I prefer it from a maintainer's perspective. I do think the difference is minimal; cases where the difference is observable seem rare.

This PR adds a separate pass, so this will have a perf impact. Let's see how bad, it looked ok locally.

2023-10-27 14:10:42 +00:00

..

auxiliary

Don't do intra-pass validation on MIR shims

2023-08-19 18:47:08 +00:00

argument-types.rs

…

assoc-projection-ice.rs

…

assoc-type-const.rs

Split out a separate feature gate for impl trait in associated types

2023-04-12 16:17:31 +00:00

assoc-type-lifetime-unconstrained.rs

Split out a separate feature gate for impl trait in associated types

2023-04-12 16:17:31 +00:00

assoc-type-lifetime-unconstrained.stderr

…

assoc-type-lifetime.rs

Split out a separate feature gate for impl trait in associated types

2023-04-12 16:17:31 +00:00

associated-type-alias-impl-trait.rs

…

associated-type-impl-trait-lifetime.rs

Use the opaque_types_defined_by query to cheaply check for whether a hidden type may be registered for an opaque type

2023-05-12 10:26:50 +00:00

auto-trait-leakage2.rs

Revert "Suggest using Arc on !Send/!Sync types"

2023-08-28 03:16:48 -07:00

auto-trait-leakage2.stderr

Revert "Suggest using Arc on !Send/!Sync types"

2023-08-28 03:16:48 -07:00

auto-trait-leakage3.rs

Stash and cancel cycle errors for auto trait leakage in opaques

2023-10-26 17:58:02 +00:00

auto-trait-leakage3.stderr

Stash and cancel cycle errors for auto trait leakage in opaques

2023-10-26 17:58:02 +00:00

auto-trait-leakage.rs

Add AliasKind::Weak for type aliases.

2023-06-16 19:39:48 +00:00

bound_reduction2.rs

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

bound_reduction2.stderr

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

bound_reduction.rs

…

bounds-are-checked3.rs

Add AliasKind::Weak for type aliases.

2023-06-16 19:39:48 +00:00

bounds-are-checked3.stderr

Add AliasKind::Weak for type aliases.

2023-06-16 19:39:48 +00:00

bounds-are-checked-2.rs

…

bounds-are-checked-2.stderr

…

bounds-are-checked.rs

Convert a hard-warning about named static lifetimes into lint "unused_lifetimes"

2023-02-22 09:44:26 +08:00

bounds-are-checked.stderr

Convert a hard-warning about named static lifetimes into lint "unused_lifetimes"

2023-02-22 09:44:26 +08:00

bounds.rs

Add AliasKind::Weak for type aliases.

2023-06-16 19:39:48 +00:00

broken_mir.rs

Turns out opaque types can have hidden types registered during mir validation

2023-07-27 08:23:06 +00:00

closure_args2.rs

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

closure_args.rs

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

closure_parent_substs.rs

s/generator/coroutine/

2023-10-20 21:14:01 +00:00

closure_wf_outlives.rs

…

closure_wf_outlives.stderr

remove trailing dots

2023-10-08 10:06:17 +00:00

closures_in_branches.rs

…

closures_in_branches.stderr

…

coherence_cross_crate.rs

…

coherence_cross_crate.stderr

…

coherence_different_hidden_ty.rs

coherence: don't add hidden types for opaques

2023-05-30 12:40:35 +02:00

coherence_different_hidden_ty.stderr

coherence: don't add hidden types for opaques

2023-05-30 12:40:35 +02:00

coherence_generalization.rs

Fix tests

2023-08-12 17:18:46 +00:00

coherence.rs

Fix tests

2023-08-12 17:18:46 +00:00

coherence.stderr

Fix tests

2023-08-12 17:18:46 +00:00

collect_hidden_types.rs

…

constrain_inputs_unsound.rs

…

constrain_inputs_unsound.stderr

…

constrain_inputs.rs

…

constrain_inputs.stderr

…

cross_crate_ice2.rs

…

cross_crate_ice.rs

…

cross_inference_pattern_bug_no_type.rs

…

cross_inference_pattern_bug.rs

Strip OpaqueCast during RevealAll.

2023-09-28 16:13:38 +00:00

cross_inference_rpit.rs

…

cross_inference.rs

update tests

2023-07-03 09:12:15 +02:00

debug-ty-with-weak.rs

Continue folding in query normalizer on weak aliases

2023-06-18 20:56:30 +00:00

declared_but_never_defined.rs

…

declared_but_never_defined.stderr

…

declared_but_not_defined_in_scope.rs

…

declared_but_not_defined_in_scope.stderr

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

defined-by-user-annotation.rs

allow opaques to be defined by trait queries

2023-07-14 12:35:33 +00:00

defining-use-submodule.rs

Add AliasKind::Weak for type aliases.

2023-06-16 19:39:48 +00:00

destructure_tait-ice-113594.rs

Remove unnecessary generator-check, which also fixes the issue within async functions

2023-09-28 16:13:38 +00:00

destructure_tait-layout_of-ice-113594.rs

Strip OpaqueCast during RevealAll.

2023-09-28 16:13:38 +00:00

destructuring.rs

…

different_defining_uses_never_type2.rs

…

different_defining_uses_never_type3.rs

…

different_defining_uses_never_type3.stderr

…

different_defining_uses_never_type-2.rs

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

different_defining_uses_never_type-2.stderr

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

different_defining_uses_never_type-3.rs

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

different_defining_uses_never_type-3.stderr

Check opaques for mismatch during writeback

2023-05-22 23:33:34 +00:00

different_defining_uses_never_type.rs

…

different_defining_uses_never_type.stderr

…

different_defining_uses.rs

…

different_defining_uses.stderr

…

different_lifetimes_defining_uses.rs

Revert "Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726"

2023-08-30 11:06:46 +00:00

different_lifetimes_defining_uses.stderr

Revert "Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726"

2023-08-30 11:06:46 +00:00

drop-shim-relates-opaque-issue-114375.rs

Don't do intra-pass validation on MIR shims

2023-08-19 18:47:08 +00:00

escaping-bound-var.rs

Correctly deny late-bound lifetimes from parent in anon consts and TAITs

2023-09-05 20:20:55 +00:00

escaping-bound-var.stderr

Correctly deny late-bound lifetimes from parent in anon consts and TAITs

2023-09-05 20:20:55 +00:00

fallback.rs

…

fallback.stderr

…

field-types.rs

…

future.rs

…

future.stderr

…

generic_different_defining_uses.rs

…

generic_different_defining_uses.stderr

…

generic_duplicate_lifetime_param.rs

Revert "Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726"

2023-08-30 11:06:46 +00:00

generic_duplicate_lifetime_param.stderr

Revert "Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726"

2023-08-30 11:06:46 +00:00

generic_duplicate_param_use2.rs

…

generic_duplicate_param_use2.stderr

…

generic_duplicate_param_use3.rs

…

generic_duplicate_param_use3.stderr

…

generic_duplicate_param_use4.rs

…

generic_duplicate_param_use4.stderr

…

generic_duplicate_param_use5.rs

…

generic_duplicate_param_use5.stderr

…

generic_duplicate_param_use6.rs

…

generic_duplicate_param_use6.stderr

…

generic_duplicate_param_use7.rs

…

generic_duplicate_param_use8.rs

…

generic_duplicate_param_use8.stderr

…

generic_duplicate_param_use9.rs

…

generic_duplicate_param_use9.stderr

…

generic_duplicate_param_use10.rs

…

generic_duplicate_param_use.rs

Revert "Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726"

2023-08-30 11:06:46 +00:00

generic_duplicate_param_use.stderr

Revert "Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726"

2023-08-30 11:06:46 +00:00

generic_lifetime_param.rs

Revert "Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726"

2023-08-30 11:06:46 +00:00

generic_nondefining_use.rs

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

generic_nondefining_use.stderr

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

generic_not_used.rs

…

generic_not_used.stderr

…

generic_type_does_not_live_long_enough.rs

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

generic_type_does_not_live_long_enough.stderr

remove trailing dots

2023-10-08 10:06:17 +00:00

generic_underconstrained2.rs

Work around the fact that check_mod_type_wf may spuriously return ErrorGuaranteed, even if that error is only emitted by check_modwitem_types

2023-10-25 12:04:54 +00:00

generic_underconstrained2.stderr

Work around the fact that check_mod_type_wf may spuriously return ErrorGuaranteed, even if that error is only emitted by check_modwitem_types

2023-10-25 12:04:54 +00:00

generic_underconstrained.rs

Work around the fact that check_mod_type_wf may spuriously return ErrorGuaranteed, even if that error is only emitted by check_modwitem_types

2023-10-25 12:04:54 +00:00

generic_underconstrained.stderr

Work around the fact that check_mod_type_wf may spuriously return ErrorGuaranteed, even if that error is only emitted by check_modwitem_types

2023-10-25 12:04:54 +00:00

hidden_behind_projection_behind_struct_field.rs

Only walk the identity substituted version of struct fields

2023-06-22 15:51:20 +00:00

hidden_behind_projection_behind_struct_field.stderr

Only walk the identity substituted version of struct fields

2023-06-22 15:51:20 +00:00

hidden_behind_struct_field2.rs

Only walk the identity substituted version of struct fields

2023-06-22 15:51:20 +00:00

hidden_behind_struct_field.rs

Only walk the identity substituted version of struct fields

2023-06-22 15:51:20 +00:00

hidden_type_mismatch.rs

Double check that hidden types match the expected hidden type

2023-07-21 13:19:36 +00:00

hidden_type_mismatch.stderr

Double check that hidden types match the expected hidden type

2023-07-21 13:19:36 +00:00

higher_kinded_params2.rs

Remove normalization from opaque_types_defined_by

2023-07-07 13:17:00 +00:00

higher_kinded_params2.stderr

Remove normalization from opaque_types_defined_by

2023-07-07 13:17:00 +00:00

higher_kinded_params3.rs

Remove normalization from opaque_types_defined_by

2023-07-07 13:17:00 +00:00

higher_kinded_params3.stderr

Remove normalization from opaque_types_defined_by

2023-07-07 13:17:00 +00:00

higher_kinded_params.rs

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

impl_for_weak_alias.rs

Add AliasKind::Weak for type aliases.

2023-06-16 19:39:48 +00:00

impl_for_weak_alias.stderr

Add AliasKind::Weak for type aliases.

2023-06-16 19:39:48 +00:00

impl_trait_for_generic_tait.rs

…

impl_trait_for_same_tait.rs

…

impl_trait_for_same_tait.stderr

Make things work by using the new solver

2023-10-23 23:35:27 +00:00

impl_trait_for_tait_bound2.rs

…

impl_trait_for_tait_bound2.stderr

…

impl_trait_for_tait_bound.rs

…

impl_trait_for_tait_bound.stderr

…

impl_trait_for_tait.rs

…

impl-trait-in-type-alias-with-bad-substs.rs

Don't substitute a GAT that has mismatched generics in OpaqueTypeCollector

2023-06-21 16:33:17 +00:00

impl-trait-in-type-alias-with-bad-substs.stderr

Don't substitute a GAT that has mismatched generics in OpaqueTypeCollector

2023-06-21 16:33:17 +00:00

impl-with-unconstrained-param.rs

Split out a separate feature gate for impl trait in associated types

2023-04-12 16:17:31 +00:00

impl-with-unconstrained-param.stderr

…

implied_bounds2.rs

…

implied_bounds3.rs

…

implied_bounds_closure.rs

…

implied_bounds_closure.stderr

…

implied_bounds_from_types.rs

…

implied_bounds_from_types.stderr

…

implied_bounds.rs

…

implied_bounds.stderr

…

implied_lifetime_wf_check3.rs

Revert "Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726"

2023-08-30 11:06:46 +00:00

implied_lifetime_wf_check3.stderr

remove trailing dots

2023-10-08 10:06:17 +00:00

implied_lifetime_wf_check4_static.rs

…

implied_lifetime_wf_check4_static.stderr

remove trailing dots

2023-10-08 10:06:17 +00:00

implied_lifetime_wf_check.rs

…

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

Split out a separate feature gate for impl trait in associated types

2023-04-12 16:17:31 +00:00

imply_bounds_from_bounds.rs

Revert "Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726"

2023-08-30 11:06:46 +00:00

incoherent-assoc-imp-trait.rs

Split out a separate feature gate for impl trait in associated types

2023-04-12 16:17:31 +00:00

incoherent-assoc-imp-trait.stderr

…

incomplete-inference.rs

…

incomplete-inference.stderr

…

indirect-recursion-issue-112047.rs

Bless tests.

2023-09-23 13:47:30 +00:00

indirect-recursion-issue-112047.stderr

Strip OpaqueCast during RevealAll.

2023-09-28 16:13:38 +00:00

inference-cycle.rs

Stash and cancel cycle errors for auto trait leakage in opaques

2023-10-26 17:58:02 +00:00

inference-cycle.stderr

Stash and cancel cycle errors for auto trait leakage in opaques

2023-10-26 17:58:02 +00:00

invalid_impl_trait_in_assoc_ty.rs

Require impl Trait in associated types to appear in method signatures

2023-05-12 10:24:03 +00:00

invalid_impl_trait_in_assoc_ty.stderr

Point to argument/return type instead of the whole function header

2023-06-22 15:00:12 +00:00

issue-52843-closure-constrain.rs

…

issue-52843-closure-constrain.stderr

…

issue-52843.rs

…

issue-52843.stderr

…

issue-53092-2.rs

…

issue-53092-2.stderr

More precisely detect cycle errors from type_of on opaque

2023-08-27 22:03:16 +00:00

issue-53092.rs

…

issue-53092.stderr

…

issue-53096.rs

…

issue-53096.stderr

…

issue-53398-cyclic-types.rs

Add AliasKind::Weak for type aliases.

2023-06-16 19:39:48 +00:00

issue-53598.rs

Split out a separate feature gate for impl trait in associated types

2023-04-12 16:17:31 +00:00

issue-53598.stderr

…

issue-53678-coroutine-and-const-fn.rs

Rename lots of files that had generator in their name

2023-10-20 21:14:02 +00:00

issue-55099-lifetime-inference.rs

…

issue-57188-associate-impl-capture.rs

Split out a separate feature gate for impl trait in associated types

2023-04-12 16:17:31 +00:00

issue-57611-trait-alias.rs

Split out a separate feature gate for impl trait in associated types

2023-04-12 16:17:31 +00:00

issue-57700.rs

Split out a separate feature gate for impl trait in associated types

2023-04-12 16:17:31 +00:00

issue-57700.stderr

…

issue-57807-associated-type.rs

Split out a separate feature gate for impl trait in associated types

2023-04-12 16:17:31 +00:00

issue-57961.rs

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

issue-57961.stderr

…

issue-58662-coroutine-with-lifetime.rs

Rename lots of files that had generator in their name

2023-10-20 21:14:02 +00:00

issue-58662-simplified.rs

s/generator/coroutine/

2023-10-20 21:14:01 +00:00

issue-58887.rs

Split out a separate feature gate for impl trait in associated types

2023-04-12 16:17:31 +00:00

issue-58951-2.rs

…

issue-58951.rs

…

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

Split out a separate feature gate for impl trait in associated types

2023-04-12 16:17:31 +00:00

issue-60407.rs

…

issue-60407.stderr

…

issue-60564-working.rs

Split out a separate feature gate for impl trait in associated types

2023-04-12 16:17:31 +00:00

issue-60564.rs

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

issue-60564.stderr

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

issue-60662.rs

…

issue-60662.stdout

…

issue-62000-associate-impl-trait-lifetimes.rs

Split out a separate feature gate for impl trait in associated types

2023-04-12 16:17:31 +00:00

issue-63263-closure-return.rs

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

issue-63279.rs

Remove save-analysis.

2023-02-16 15:14:45 +11:00

issue-63279.stderr

adjust how closure/generator types and rvalues are printed

2023-09-21 22:20:58 +02:00

issue-63355.rs

…

issue-63677-type-alias-coherence.rs

…

issue-65384.rs

…

issue-65384.stderr

…

issue-65679-inst-opaque-ty-from-val-twice.rs

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

issue-65918.rs

Unignore issue-65918

2023-04-15 15:23:32 -07:00

issue-66580-closure-coherence.rs

…

issue-67844-nested-opaque.rs

…

issue-68368-non-defining-use-2.rs

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

issue-68368-non-defining-use-2.stderr

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

issue-68368-non-defining-use.rs

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

issue-68368-non-defining-use.stderr

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

issue-69136-inner-lifetime-resolve-error.rs

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

issue-69136-inner-lifetime-resolve-error.stderr

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

issue-69136-inner-lifetime-resolve-ok.rs

…

issue-69323.rs

…

issue-70121.rs

Remove normalization from opaque_types_defined_by

2023-07-07 13:17:00 +00:00

issue-70121.stderr

Remove normalization from opaque_types_defined_by

2023-07-07 13:17:00 +00:00

issue-72793.rs

…

issue-74244.rs

…

issue-74244.stderr

…

issue-74280.rs

…

issue-74280.stderr

…

issue-74761-2.rs

Split out a separate feature gate for impl trait in associated types

2023-04-12 16:17:31 +00:00

issue-74761-2.stderr

…

issue-74761.rs

Split out a separate feature gate for impl trait in associated types

2023-04-12 16:17:31 +00:00

issue-74761.stderr

…

issue-76202-trait-impl-for-tait.rs

Don't consider TAIT normalizable to hidden ty if it would result in impossible item bounds

2023-06-19 14:49:56 +00:00

issue-77179.rs

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

issue-77179.stderr

…

issue-78450.rs

Split out a separate feature gate for impl trait in associated types

2023-04-12 16:17:31 +00:00

issue-84660-trait-impl-for-tait.rs

…

issue-84660-unsoundness.rs

…

issue-84660-unsoundness.stderr

…

issue-87455-static-lifetime-ice.rs

…

issue-89686.rs

Revert "Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726"

2023-08-30 11:06:46 +00:00

issue-89686.stderr

Revert "Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726"

2023-08-30 11:06:46 +00:00

issue-89952.rs

Split out a separate feature gate for impl trait in associated types

2023-04-12 16:17:31 +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

…

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

…

issue-93411.rs

…

issue-94429.rs

Rename Gen to Coro in tests

2023-10-20 21:14:02 +00:00

issue-94429.stderr

Rename lots of files that had generator in their name

2023-10-20 21:14:02 +00:00

issue-96572-unconstrained-mismatch.rs

…

issue-96572-unconstrained-mismatch.stderr

…

issue-96572-unconstrained.rs

Handle ty::Opaque correctly

2023-10-27 05:16:26 +02:00

issue-98604.rs

Tweak E0271 wording

2023-01-30 21:51:35 +00:00

issue-98604.stderr

Note base types of coercion

2023-05-12 00:10:52 +00:00

issue-98608.rs

Tweak E0271 wording

2023-01-30 21:51:35 +00:00

issue-98608.stderr

Note base types of coercion

2023-05-12 00:10:52 +00:00

issue-101750.rs

…

issue-104817.rs

…

issue-104817.stock.stderr

…

issue-109054.rs

Add a regression test for #109054

2023-07-06 02:45:54 +09:00

issue-109054.stderr

Add a regression test for #109054

2023-07-06 02:45:54 +09:00

match-unification.rs

Make hidden type registration opt-in, so that each site can be reviewed on its own and we have the right defaults for trait solvers

2023-02-21 14:50:51 +00:00

missing_lifetime_bound.rs

Revert "Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726"

2023-08-30 11:06:46 +00:00

missing_lifetime_bound.stderr

Revert "Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726"

2023-08-30 11:06:46 +00:00

multi-error.rs

Treat opaque types failing the signature defining scope check as defining, as we already errored and can hide subsequent errors this way.

2023-06-22 15:36:42 +00:00

multi-error.stderr

Re-use error code for duplicate error

2023-06-22 15:51:14 +00:00

multiple_definitions.rs

…

multiple-def-uses-in-one-fn2.rs

…

multiple-def-uses-in-one-fn2.stderr

…

multiple-def-uses-in-one-fn3.rs

…

multiple-def-uses-in-one-fn3.stderr

…

multiple-def-uses-in-one-fn-infer.rs

…

multiple-def-uses-in-one-fn-infer.stderr

…

multiple-def-uses-in-one-fn-lifetimes.rs

Revert "Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726"

2023-08-30 11:06:46 +00:00

multiple-def-uses-in-one-fn-lifetimes.stderr

Revert "Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726"

2023-08-30 11:06:46 +00:00

multiple-def-uses-in-one-fn-pass.rs

Revert "Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726"

2023-08-30 11:06:46 +00:00

multiple-def-uses-in-one-fn.rs

Wait until type_of to remap HIR opaques back to their defn params

2023-05-26 14:42:52 +00:00

multiple-def-uses-in-one-fn.stderr

Wait until type_of to remap HIR opaques back to their defn params

2023-05-26 14:42:52 +00:00

mututally-recursive-overflow.rs

Detect cycle errors hidden by opaques during monomorphization

2023-09-13 17:35:44 +00:00

mututally-recursive-overflow.stderr

Detect cycle errors hidden by opaques during monomorphization

2023-09-13 17:35:44 +00:00

nested_in_closure.rs

Treat closures as part of their parent

2023-07-07 13:17:00 +00:00

nested_type_alias_impl_trait.rs

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

nested_type_alias_impl_trait.stderr

…

nested-impl-trait-in-tait.rs

Account for nested impl Trait in TAIT

2023-09-21 17:47:09 +00:00

nested-impl-trait-in-tait.stderr

Account for nested impl Trait in TAIT

2023-09-21 17:47:09 +00:00

nested-rpit-with-lifetimes.rs

Double check that hidden types match the expected hidden type

2023-07-21 13:19:36 +00:00

nested-tait-hrtb.rs

Paper over an accidental regression

2023-09-14 15:16:48 +00:00

nested-tait-hrtb.stderr

Paper over an accidental regression

2023-09-14 15:16:48 +00:00

nested-tait-inference2.rs

…

nested-tait-inference2.stderr

Don't sort strings right after we just sorted by types

2023-06-27 23:31:06 +00:00

nested-tait-inference3.rs

…

nested-tait-inference3.stderr

…

nested-tait-inference.rs

…

nested-tait-inference.stderr

…

nested.rs

…

nested.stderr

…

never_reveal_concrete_type.rs

…

no_inferrable_concrete_type.rs

…

no_inferrable_concrete_type.stderr

…

no_revealing_outside_defining_module.rs

…

no_revealing_outside_defining_module.stderr

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

non-defining-method.rs

Treat opaque types failing the signature defining scope check as defining, as we already errored and can hide subsequent errors this way.

2023-06-22 15:36:42 +00:00

non-defining-method.stderr

Re-use error code for duplicate error

2023-06-22 15:51:14 +00:00

normalize-alias-type.rs

move subtyper change reveal_all

2023-10-05 18:56:30 +03:00

normalize-hidden-types.current.stderr

instantiate hidden types in root universe

2023-06-24 13:00:15 +00:00

normalize-hidden-types.rs

instantiate hidden types in root universe

2023-06-24 13:00:15 +00:00

not_a_defining_use.rs

…

not_a_defining_use.stderr

…

not_well_formed.fixed

Suggest trait bounds for used associated type on type param

2023-10-13 19:13:56 +00:00

not_well_formed.rs

Suggest trait bounds for used associated type on type param

2023-10-13 19:13:56 +00:00

not_well_formed.stderr

Tweak wording

2023-10-13 19:18:46 +00:00

not-matching-trait-refs-isnt-defining.rs

Additional test demonstrating check for full trait ref

2023-06-21 16:41:52 +00:00

not-matching-trait-refs-isnt-defining.stderr

Point to argument/return type instead of the whole function header

2023-06-22 15:00:12 +00:00

obligation_ice.rs

Add AliasKind::Weak for type aliases.

2023-06-16 19:39:48 +00:00

outlives-bound-var.rs

…

privacy.rs

Replace old private-in-public diagnostic with type privacy lints

2023-08-02 13:40:28 +03:00

privacy.stderr

Replace old private-in-public diagnostic with type privacy lints

2023-08-02 13:40:28 +03:00

recursive-fn-tait.rs

Add test for 113326

2023-10-16 18:23:12 +00:00

recursive-fn-tait.stderr

Add test for 113326

2023-10-16 18:23:12 +00:00

recursive-tait-conflicting-defn-2.rs

Add additional test

2023-07-18 15:56:03 +00:00

recursive-tait-conflicting-defn-2.stderr

Add additional test

2023-07-18 15:56:03 +00:00

recursive-tait-conflicting-defn.rs

Relax recursive opaque type check

2023-07-18 15:56:03 +00:00

recursive-tait-conflicting-defn.stderr

Relax recursive opaque type check

2023-07-18 15:56:03 +00:00

reveal_local.rs

Stash and cancel cycle errors for auto trait leakage in opaques

2023-10-26 17:58:02 +00:00

reveal_local.stderr

Stash and cancel cycle errors for auto trait leakage in opaques

2023-10-26 17:58:02 +00:00

rpit_tait_equality_in_canonical_query_2.rs

revert rust-lang/rust#114586

2023-10-18 06:19:04 +00:00

rpit_tait_equality_in_canonical_query.current.stderr

revert rust-lang/rust#114586

2023-10-18 06:19:04 +00:00

rpit_tait_equality_in_canonical_query.rs

revert rust-lang/rust#114586

2023-10-18 06:19:04 +00:00

self_implication.rs

Revert "Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726"

2023-08-30 11:06:46 +00:00

self-referential-2.rs

…

self-referential-2.stderr

…

self-referential-3.rs

Add AliasKind::Weak for type aliases.

2023-06-16 19:39:48 +00:00

self-referential-3.stderr

Add AliasKind::Weak for type aliases.

2023-06-16 19:39:48 +00:00

self-referential-4.rs

…

self-referential-4.stderr

…

self-referential.rs

Add AliasKind::Weak for type aliases.

2023-06-16 19:39:48 +00:00

self-referential.stderr

Add AliasKind::Weak for type aliases.

2023-06-16 19:39:48 +00:00

static-const-types.rs

…

structural-match-no-leak.rs

…

structural-match-no-leak.stderr

…

structural-match.rs

…

structural-match.stderr

…

tait-normalize.rs

move subtyper change reveal_all

2023-10-05 18:56:30 +03:00

type_of_a_let.rs

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

type_of_a_let.stderr

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

2023-07-07 13:13:18 +00:00

type-alias-impl-trait2.rs

…

type-alias-impl-trait-assoc-dyn.rs

…

type-alias-impl-trait-assoc-impl-trait.rs

…

type-alias-impl-trait-const.rs

…

type-alias-impl-trait-fn-type.rs

Tweak wording of E0562

2023-10-04 19:51:43 +00:00

type-alias-impl-trait-fn-type.stderr

Tweak wording of E0562

2023-10-04 19:51:43 +00:00

type-alias-impl-trait-fns.rs

Add AliasKind::Weak for type aliases.

2023-06-16 19:39:48 +00:00

type-alias-impl-trait-sized.rs

…

type-alias-impl-trait-struct.rs

…

type-alias-impl-trait-tuple.rs

…

type-alias-impl-trait-unconstrained-lifetime.rs

Split out a separate feature gate for impl trait in associated types

2023-04-12 16:17:31 +00:00

type-alias-impl-trait-unconstrained-lifetime.stderr

…

type-alias-impl-trait-with-cycle-error2.rs

…

type-alias-impl-trait-with-cycle-error2.stderr

…

type-alias-impl-trait-with-cycle-error.rs

…

type-alias-impl-trait-with-cycle-error.stderr

…

type-alias-impl-trait-with-no-traits.rs

…

type-alias-impl-trait-with-no-traits.stderr

…

type-alias-impl-trait.rs

…

type-alias-nested-impl-trait.rs

…

unbounded_opaque_type.rs

…

unconstrained-impl-param.rs

Fix tests

2023-08-12 17:18:46 +00:00

unconstrained-impl-param.stderr

Fix tests

2023-08-12 17:18:46 +00:00

under-binder.rs

don't replace opaque types under binders with infer vars

2023-08-06 12:08:32 +00:00

under-binder.stderr

don't replace opaque types under binders with infer vars

2023-08-06 12:08:32 +00:00

underconstrained_generic.rs

…

underconstrained_generic.stderr

…

underconstrained_lifetime.rs

…

underconstrained_lifetime.stderr

…

unnameable_type.rs

…

unnameable_type.stderr

Handle weak type aliases by immediately resolving them to their aliased type

2023-06-22 15:51:19 +00:00

unused_generic_param.rs

…

variance.rs

Correctly deny late-bound lifetimes from parent in anon consts and TAITs

2023-09-05 20:20:55 +00:00

variance.stderr

Correctly deny late-bound lifetimes from parent in anon consts and TAITs

2023-09-05 20:20:55 +00:00

weird-return-types.rs

…

wf_check_closures.rs

…

wf_check_closures.stderr

…

wf-check-fn-def.rs

…

wf-check-fn-def.stderr

…

wf-check-fn-ptrs.rs

…

wf-check-rpit-lifetimes.rs

Stop using identity args for opaque type wf checks and instead load the args from the single use of a RPIT in its parent function's return type

2023-08-08 09:39:42 +00:00

wf-in-associated-type.fail.stderr

remove trailing dots

2023-10-08 10:06:17 +00:00

wf-in-associated-type.rs

use implied bounds when checking opaque types

2023-05-07 01:41:20 +03:00

wf-nested.fail.stderr

remove trailing dots

2023-10-08 10:06:17 +00:00

wf-nested.pass_sound.stderr

remove trailing dots

2023-10-08 10:06:17 +00:00

wf-nested.rs

use implied bounds when checking opaque types

2023-05-07 01:41:20 +03:00