Matthias Krüger a384039053 Rollup merge of #138283 - compiler-errors:enforce-const-param, r=BoxyUwU ...

Enforce type of const param correctly in MIR typeck

Properly intercepts and then annotates the type for a `ConstKind::Param` in the MIR.

This code should probably be cleaned up, it's kinda spaghetti, but no better structure really occurred to me when writing this case.

We could probably gate this behind the feature gate or add a fast path when the args have no free regions if perf is bad.

r? `@BoxyUwU`

2025-03-15 11:29:25 +01:00

..

adt_const_params

Rollup merge of #138283 - compiler-errors:enforce-const-param, r=BoxyUwU

2025-03-15 11:29:25 +01:00

array-impls

…

auxiliary

…

backcompat

…

defaults

Disentangle ForwardGenericParamBan and ConstParamTy ribs

2025-03-12 16:56:26 +00:00

early

Show diff suggestion format on verbose replacement

2025-02-10 20:21:39 +00:00

generic_arg_infer

fallout :skull_emoji:

2025-02-14 00:37:23 +01:00

generic_const_exprs

Implement #[define_opaque] attribute for functions.

2025-03-11 12:05:02 +00:00

generic_const_parameter_types

Check type of const param correctly in MIR typeck

2025-03-14 03:10:19 +00:00

infer

…

issues

Rollup merge of #137617 - BoxyUwU:generic_const_parameter_types, r=lcnr

2025-03-01 11:33:58 +01:00

late-bound-vars

…

mgca

mgca: Lower all const paths as ConstArgKind::Path

2025-03-04 10:11:13 -05:00

min_const_generics

…

occurs-check

…

parser-error-recovery

Show diff suggestion format on verbose replacement

2025-02-10 20:21:39 +00:00

std

std::range

2025-01-30 20:37:56 -07:00

type-dependent

Show diff suggestion format on verbose replacement

2025-02-10 20:21:39 +00:00

unsized_const_params

…

apit-with-const-param.rs

…

arg-in-pat-1.rs

…

arg-in-pat-2.rs

…

arg-in-pat-3.rs

…

argument_order.rs

…

argument_order.stderr

…

array-wrapper-struct-ctor.rs

…

assoc_const_as_type_argument.rs

…

assoc_const_as_type_argument.stderr

…

assoc_const_eq_diagnostic.rs

…

assoc_const_eq_diagnostic.stderr

…

associated-type-bound-fail.rs

…

associated-type-bound-fail.stderr

…

associated-type-bound.rs

…

bad-const-generic-exprs.rs

…

bad-const-generic-exprs.stderr

…

bad-generic-in-copy-impl.rs

…

bad-generic-in-copy-impl.stderr

…

bad-subst-const-kind.rs

…

bad-subst-const-kind.stderr

Properly check that array length is valid type during built-in unsizing in index

2025-01-28 17:52:28 +00:00

broken-mir-1.rs

…

broken-mir-2.rs

…

cannot-infer-type-for-const-param.rs

…

coerce_unsized_array.rs

…

concrete-const-as-fn-arg.rs

…

concrete-const-impl-method.rs

…

condition-in-trait-const-arg.rs

…

const_trait_fn-issue-88433.rs

…

const-arg-in-const-arg.min.stderr

…

const-arg-in-const-arg.rs

…

const-arg-in-fn.rs

…

const-arg-type-arg-misordered.rs

…

const-arg-type-arg-misordered.stderr

…

const-argument-cross-crate-mismatch.rs

…

const-argument-cross-crate-mismatch.stderr

…

const-argument-cross-crate.rs

…

const-argument-if-length.full.stderr

…

const-argument-if-length.min.stderr

…

const-argument-if-length.rs

…

const-argument-non-static-lifetime.min.stderr

…

const-argument-non-static-lifetime.rs

…

const-fn-with-const-param.rs

…

const-generic-default-wont-borrowck.fixed

…

const-generic-default-wont-borrowck.rs

…

const-generic-default-wont-borrowck.stderr

…

const-generic-function.rs

…

const-generic-function.stderr

…

const-generic-type_name.rs

…

const-param-after-const-literal-arg.rs

…

const-param-before-other-params.rs

…

const-param-before-other-params.stderr

…

const-param-elided-lifetime.full.stderr

…

const-param-elided-lifetime.min.stderr

…

const-param-elided-lifetime.rs

…

const-param-in-async.rs

…

const-param-type-depends-on-const-param.full.stderr

Introduce feature(generic_const_parameter_types)

2025-02-28 20:43:15 +00:00

const-param-type-depends-on-const-param.min.stderr

Introduce feature(generic_const_parameter_types)

2025-02-28 20:43:15 +00:00

const-param-type-depends-on-const-param.rs

Disentangle ForwardGenericParamBan and ConstParamTy ribs

2025-03-12 16:56:26 +00:00

const-param-type-depends-on-parent-param.rs

Disentangle ForwardGenericParamBan and ConstParamTy ribs

2025-03-12 16:56:26 +00:00

const-param-type-depends-on-parent-param.stderr

Disentangle ForwardGenericParamBan and ConstParamTy ribs

2025-03-12 16:56:26 +00:00

const-param-type-depends-on-type-param-ungated.rs

…

const-param-type-depends-on-type-param-ungated.stderr

Introduce feature(generic_const_parameter_types)

2025-02-28 20:43:15 +00:00

const-param-type-depends-on-type-param.full.stderr

Introduce feature(generic_const_parameter_types)

2025-02-28 20:43:15 +00:00

const-param-type-depends-on-type-param.min.stderr

Introduce feature(generic_const_parameter_types)

2025-02-28 20:43:15 +00:00

const-param-type-depends-on-type-param.rs

…

const-param-with-additional-obligations.rs

…

const-param-with-additional-obligations.stderr

…

const-parameter-uppercase-lint.rs

…

const-parameter-uppercase-lint.stderr

…

const-ty-is-normalized.rs

…

core-types.rs

…

cross_crate_complex.rs

…

default-ty-closure.rs

…

default-ty-closure.stderr

…

deref-into-array-generic.rs

…

different_generic_args_array.rs

…

different_generic_args_array.stderr

…

different_generic_args.full.stderr

…

different_generic_args.min.stderr

…

different_generic_args.rs

…

dont-evaluate-array-len-on-err-1.rs

…

dont-evaluate-array-len-on-err-1.stderr

…

dyn-supertraits.rs

…

dyn-supertraits.stderr

…

ensure_is_evaluatable.rs

…

ensure_is_evaluatable.stderr

Trim suggestion parts to the subset that is purely additive

2025-02-14 00:44:10 -08:00

enum-variants.rs

…

exhaustive-value.rs

…

exhaustive-value.stderr

…

expose-default-substs-param-env.rs

…

failing_goal_with_repeat_expr_anon_const.rs

…

failing_goal_with_repeat_expr_anon_const.stderr

…

float-generic.adt_const_params.stderr

…

float-generic.full.stderr

…

float-generic.rs

…

float-generic.simple.stderr

…

fn_with_two_const_inputs.rs

…

fn_with_two_const_inputs.stderr

Trim suggestion parts to the subset that is purely additive

2025-02-14 00:44:10 -08:00

fn_with_two_same_const_inputs.rs

…

fn-const-param-call.adt_const_params.stderr

…

fn-const-param-call.full.stderr

…

fn-const-param-call.min.stderr

…

fn-const-param-call.rs

…

fn-const-param-infer.adt_const_params.stderr

…

fn-const-param-infer.full.stderr

…

fn-const-param-infer.min.stderr

…

fn-const-param-infer.rs

…

forbid-non-structural_match-types.rs

…

forbid-non-structural_match-types.stderr

Show diff suggestion format on verbose replacement

2025-02-10 20:21:39 +00:00

foreign-item-const-parameter.rs

…

foreign-item-const-parameter.stderr

…

generic-param-mismatch.rs

…

generic-param-mismatch.stderr

…

ice-68875.rs

…

ice-68875.stderr

…

ice-118285-fn-ptr-value.rs

…

ice-118285-fn-ptr-value.stderr

…

ice-const-generic-function-return-ty.rs

…

ice-const-generic-function-return-ty.stderr

…

ice-unexpected-inference-var-122549.rs

…

ice-unexpected-inference-var-122549.stderr

…

impl-const-generic-struct.rs

…

incorrect-number-of-const-args.rs

…

incorrect-number-of-const-args.stderr

…

infer_arg_from_pat.rs

…

infer_arr_len_from_pat.rs

…

inhabited-assoc-ty-ice-1.rs

…

inhabited-assoc-ty-ice-2.rs

…

integer-literal-generic-arg-in-where-clause.rs

…

intrinsics-type_name-as-const-argument.min.stderr

…

intrinsics-type_name-as-const-argument.rs

…

invalid-const-arg-for-type-param.rs

…

invalid-const-arg-for-type-param.stderr

Show diff suggestion format on verbose replacement

2025-02-10 20:21:39 +00:00

invalid-constant-in-args.rs

…

invalid-constant-in-args.stderr

…

invalid-enum.rs

…

invalid-enum.stderr

…

invariant.rs

…

invariant.stderr

…

issue-46511.rs

…

issue-46511.stderr

…

issue-66451.rs

…

issue-66451.stderr

…

issue-70408.rs

…

issue-80471.rs

…

issue-80471.stderr

Show diff suggestion format on verbose replacement

2025-02-10 20:21:39 +00:00

issue-93647.rs

…

issue-93647.stderr

…

issue-97007.rs

…

issue-102124.rs

…

issue-105689.rs

…

issue-106419-struct-with-multiple-const-params.rs

…

kind_mismatch.rs

…

kind_mismatch.stderr

…

legacy-const-generics-bad.rs

…

legacy-const-generics-bad.stderr

Show diff suggestion format on verbose replacement

2025-02-10 20:21:39 +00:00

legacy-const-generics.rs

…

lifetime-in-const-param.rs

…

lifetime-in-const-param.stderr

…

lookup-method.rs

…

lookup-method.stderr

…

mistyped_const_in_pat.rs

…

mistyped_const_in_pat.stderr

…

nested-type.full.stderr

…

nested-type.min.stderr

…

nested-type.rs

…

normalizing_with_unconstrained_impl_params.rs

re-added regression test for #122638

2025-01-12 14:27:04 +09:00

normalizing_with_unconstrained_impl_params.stderr

re-added regression test for #122638

2025-01-12 14:27:04 +09:00

not_wf_param_in_rpitit.rs

…

not_wf_param_in_rpitit.stderr

…

opaque_types2.rs

Implement #[define_opaque] attribute for functions.

2025-03-11 12:05:02 +00:00

opaque_types2.stderr

Implement #[define_opaque] attribute for functions.

2025-03-11 12:05:02 +00:00

opaque_types.rs

Implement #[define_opaque] attribute for functions.

2025-03-11 12:05:02 +00:00

opaque_types.stderr

Implement #[define_opaque] attribute for functions.

2025-03-11 12:05:02 +00:00

outer-lifetime-in-const-generic-default.rs

…

outer-lifetime-in-const-generic-default.stderr

…

overlapping_impls.rs

…

params-in-ct-in-ty-param-lazy-norm.full.stderr

Disentangle ForwardGenericParamBan and ConstParamTy ribs

2025-03-12 16:56:26 +00:00

params-in-ct-in-ty-param-lazy-norm.min.stderr

Disentangle ForwardGenericParamBan and ConstParamTy ribs

2025-03-12 16:56:26 +00:00

params-in-ct-in-ty-param-lazy-norm.rs

Disentangle ForwardGenericParamBan and ConstParamTy ribs

2025-03-12 16:56:26 +00:00

parent_generics_of_encoding_impl_trait.rs

…

parent_generics_of_encoding_impl_trait.stderr

…

parent_generics_of_encoding.rs

…

polymorphic-drop-shim.rs

…

projection-as-arg-const.rs

…

projection-as-arg-const.stderr

…

promotion.rs

…

raw-ptr-const-param-deref.adt_const_params.stderr

…

raw-ptr-const-param-deref.full.stderr

…

raw-ptr-const-param-deref.min.stderr

…

raw-ptr-const-param-deref.rs

…

raw-ptr-const-param.adt_const_params.stderr

…

raw-ptr-const-param.full.stderr

…

raw-ptr-const-param.min.stderr

…

raw-ptr-const-param.rs

…

repeat_expr_hack_gives_right_generics.rs

…

repeat_expr_hack_gives_right_generics.stderr

…

slice-const-param-mismatch.adt_const_params.stderr

…

slice-const-param-mismatch.full.stderr

…

slice-const-param-mismatch.min.stderr

…

slice-const-param-mismatch.rs

…

slice-const-param.rs

…

sneaky-array-repeat-expr.rs

…

sneaky-array-repeat-expr.stderr

…

struct-with-invalid-const-param.rs

…

struct-with-invalid-const-param.stderr

…

suggest_const_for_array.rs

…

suggest_const_for_array.stderr

…

trait-const-args.rs

…

transmute_no_gate.rs

…

transmute_no_gate.stderr

…

transmute-const-param-static-reference.adt_const_params.stderr

…

transmute-const-param-static-reference.min.stderr

…

transmute-const-param-static-reference.rs

…

transmute-fail.rs

…

transmute-fail.stderr

Properly check that array length is valid type during built-in unsizing in index

2025-01-28 17:52:28 +00:00

transmute.rs

…

transparent-maybeunit-array-wrapper.rs

…

try_unify_ignore_lifetimes.rs

…

two_matching_preds.rs

…

type_mismatch.rs

…

type_mismatch.stderr

Properly check that array length is valid type during built-in unsizing in index

2025-01-28 17:52:28 +00:00

type_not_in_scope.rs

…

type_not_in_scope.stderr

…

type_of_anon_const.rs

…

type-after-const-ok.rs

…

type-mismatch-in-nested-goal.current.stderr

Make sure we can produce ConstArgHasWrongType errors for valtree consts

2025-01-14 18:46:04 +00:00

type-mismatch-in-nested-goal.next.stderr

Make sure we can produce ConstArgHasWrongType errors for valtree consts

2025-01-14 18:46:04 +00:00

type-mismatch-in-nested-goal.rs

Make sure we can produce ConstArgHasWrongType errors for valtree consts

2025-01-14 18:46:04 +00:00

types-mismatch-const-args.full.stderr

…

types-mismatch-const-args.min.stderr

…

types-mismatch-const-args.rs

…

unify_with_nested_expr.rs

…

unify_with_nested_expr.stderr

…

uninferred-consts-during-codegen-1.rs

…

uninferred-consts-during-codegen-2.rs

…

unknown_adt.rs

…

unknown_adt.stderr

…

unused_braces.fixed

…

unused_braces.full.fixed

…

unused_braces.min.fixed

…

unused_braces.rs

…

unused_braces.stderr

…

unused-const-param.rs

…

unused-type-param-suggestion.rs

…

unused-type-param-suggestion.stderr

…

using-static-as-const-arg.rs

…

variant-discrimiant-no-generics.full.stderr

…

variant-discrimiant-no-generics.min.stderr

…

variant-discrimiant-no-generics.rs

…

where-clauses.rs

…

wrong-normalization.rs

…

wrong-normalization.stderr

…

xcrate-const-ctor-b.rs

…