许杰友 Jieyou Xu (Joe) 55b4549602 Show note for type ascription interpreted as a constant pattern, not a new variable ...

Given the code

```rust
pub fn main() {
    const y: i32 = 4;
    let y: i32 = 3;
}
```

`y` in the let binding is actually interpreted as a constant pattern
and is not a new variable, causing confusing diagnostics about
refutable patterns in local binding.

This commit extends the note for type ascription as a constant pattern
to `AscribeUserType` patterns as well.

2023-06-04 20:49:30 +08:00

..

auxiliary

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir-inlining

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

validate

Give more descriptive names to queries.

2023-04-20 18:01:07 +00:00

addrof_alignment.rs

Add a test for misaligned pointer derefs inside addr_of!

2023-05-27 14:52:14 -04:00

checks_without_panic_impl.rs

Only emit alignment checks if we have a panic_impl

2023-04-13 10:58:00 -04:00

drop-elaboration-after-borrowck-error.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

drop-elaboration-after-borrowck-error.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

field-projection-invariant.rs

only require sub type relation on field projection types

2023-02-12 23:18:15 +01:00

field-projection-mutating-context2.rs

only require sub type relation on field projection types

2023-02-12 23:18:15 +01:00

field-projection-mutating-context2.stderr

only require sub type relation on field projection types

2023-02-12 23:18:15 +01:00

field-projection-mutating-context.rs

only require sub type relation on field projection types

2023-02-12 23:18:15 +01:00

field-projection-mutating-context.stderr

only require sub type relation on field projection types

2023-02-12 23:18:15 +01:00

field-ty-ascription-enums.rs

only require sub type relation on field projection types

2023-02-12 23:18:15 +01:00

field-ty-ascription.rs

only require sub type relation on field projection types

2023-02-12 23:18:15 +01:00

important-higher-ranked-regions.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue66339.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-29227.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-46845.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-60390.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-66851.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-66930.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-67639-normalization-ice.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-67710-inline-projection.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-67947.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-67947.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-68841.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-71793-inline-args-storage.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-73914.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-74739.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-75053.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-75053.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-75419-validation-impl-trait.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-76248.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-76375.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-76740-copy-propagation.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-76803-branches-not-same.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-77002.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-77359-simplify-arm-identity.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-77911.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-78496.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-80949.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-83499-input-output-iteration-ice.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-83499-input-output-iteration-ice.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-89485.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-91745.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-92893.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-92893.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-99852.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-99866.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-101844.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-102389.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-102389.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-105809.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-106062.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-106062.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-107678-projection-with-lifetime.rs

ReErased regions are local

2023-02-05 15:29:07 +01:00

issue-107691.rs

yet another ui test

2023-02-05 22:51:37 +01:00

issue-109004-drop-large-array.rs

Drop subslices of arrays

2023-03-17 12:26:04 +00:00

issue-109743.rs

Move a const-prop-lint specific hack from mir interpret to const-prop-lint and make it fallible

2023-04-04 10:39:26 +00:00

issue-112269.rs

Show note for type ascription interpreted as a constant pattern, not a new variable

2023-06-04 20:49:30 +08:00

issue-112269.stderr

Show note for type ascription interpreted as a constant pattern, not a new variable

2023-06-04 20:49:30 +08:00

mir_adt_construction.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_alignment_check.rs

Disable the ui panic test on wasm32-bare

2023-03-30 23:46:44 -04:00

mir_ascription_coercion.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_assign_eval_order.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_augmented_assignments.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_autoderef.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_build_match_comparisons.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_call_with_associated_type.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_calls_to_shims.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_cast_fn_ret.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_codegen_array_2.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_codegen_array.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_codegen_call_converging.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_codegen_calls_converging_drops_2.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_codegen_calls_converging_drops.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_codegen_calls_diverging_drops.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_codegen_calls_diverging.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_codegen_calls.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_codegen_critical_edge.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_codegen_spike1.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_codegen_ssa.rs

Fix def-use dominance check

2023-01-27 00:54:31 +01:00

mir_codegen_switch.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_codegen_switchint.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_coercion_casts.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_coercions.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_const_prop_identity.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_const_prop_tuple_field_reorder.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_constval_adts.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_detects_invalid_ops.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_detects_invalid_ops.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_drop_order.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_drop_panics.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_dynamic_drops_1.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_dynamic_drops_2.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_dynamic_drops_3.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_early_return_scope.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_fat_ptr_drop.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_fat_ptr.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_heavy_promoted.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_indexing_oob_1.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_indexing_oob_2.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_indexing_oob_3.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_let_chains_drop_order.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_match_arm_guard.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_match_test.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_misc_casts.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_overflow_off.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_raw_fat_ptr.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_refs_correct.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_small_agg_arg.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_static_subtype.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_struct_with_assoc_ty.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_temp_promotions.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_void_return_2.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir_void_return.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

mir-typeck-normalize-fn-sig.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

remove-zsts-query-cycle.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

simplify-branch-same.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

ssa-analysis-regression-50041.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

thir-constparam-temp.rs

Implement custom diagnostic for ConstParamTy

2023-06-01 18:21:42 +00:00

thir-constparam-temp.stderr

Implement custom diagnostic for ConstParamTy

2023-06-01 18:21:42 +00:00

unsize-trait.rs

Add test.

2023-03-05 20:55:29 +00:00