mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
e9a009fd1a
rust/tests/ui/type-alias-impl-trait
History
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
assoc-type-lifetime-unconstrained.rs
assoc-type-lifetime-unconstrained.stderr
assoc-type-lifetime.rs
associated-type-alias-impl-trait.rs
associated-type-impl-trait-lifetime.rs 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
bounds-are-checked.stderr
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
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
imply_bounds_from_bounds_param.stderr
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
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
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
issue-57611-trait-alias.rs
issue-57700.rs
issue-57700.stderr
issue-57807-associated-type.rs
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
issue-58951-2.rs
issue-58951.rs
issue-60371.rs
issue-60371.stderr
issue-60407.rs
issue-60407.stderr
issue-60564-working.rs
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
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
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
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
issue-74761-2.stderr
issue-74761.rs
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
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
issue-90400-1.rs
issue-90400-1.stderr
issue-90400-2.rs
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
issue-98604.stderr Note base types of coercion 2023-05-12 00:10:52 +00:00
issue-98608.rs
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
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
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