Matthias Krüger 0e79b8914d

Rollup merge of #143106 - yotamofek:pr/gce/non-local-ice, r=BoxyUwU ...

gce: don't ICE on non-local const

Fixes rust-lang/rust#133808

I have absolutely no idea what I'm doing here, but I followed `@BoxyUwU` 's [instructions](https://github.com/rust-lang/rust/issues/133808#issuecomment-3009122957), and turns out this small change fixes rust-lang/rust#133808, and doesn't seem to break anything else.
(This code path is only reachable when the GCE feature gate is enabled, so even if it does break in a way that is not caught by current test coverage, I guess it's not as bad as breaking stable or non-incomplete features?)

Anyways, r? `@BoxyUwU` , if you don't mind.

2025-06-27 22:13:07 +02:00

..

adt_const_params

compiletest: Make diagnostic kind mandatory on line annotations

2025-04-30 10:44:24 +03:00

array-impls

…

associated_const_equality

stabilize gai

2025-06-11 15:30:15 +01:00

auxiliary

Introduce min_generic_const_args and directly represent paths

2024-11-19 05:07:43 +00:00

backcompat

…

defaults

Rollup merge of #142157 - Enselic:trivial-anon-const-use-cases, r=compiler-errors

2025-06-12 03:14:51 +02:00

early

Rollup merge of #142157 - Enselic:trivial-anon-const-use-cases, r=compiler-errors

2025-06-12 03:14:51 +02:00

generic_arg_infer

Report infer ty errors during hir ty lowering

2025-06-27 07:51:38 +00:00

generic_const_exprs

gce: don't ICE on non-local const

2025-06-27 18:07:07 +00:00

generic_const_parameter_types

stabilize gai

2025-06-11 15:30:15 +01:00

infer

…

issues

Change const trait bound syntax from ~const to [const]

2025-06-26 13:46:45 +00:00

late-bound-vars

…

mgca

Require generic params for const generic params

2025-06-13 07:48:00 +00:00

min_const_generics

Rollup merge of #141610 - BoxyUwU:stabilize_generic_arg_infer, r=lcnr,traviscross

2025-06-18 18:06:49 +02:00

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

Replace elided_named_lifetimes with mismatched_lifetime_syntaxes

2025-06-04 10:40:04 -04: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_eval_unchecked_doesnt_fire_patterns.rs

Don't FCW assoc consts in patterns

2025-04-29 18:41:42 +01:00

const_trait_fn-issue-88433.rs

Change const trait bound syntax from ~const to [const]

2025-06-26 13:46:45 +00:00

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

rustc_resolve: Improve resolve_const_param_in_non_trivial_anon_const wording

2025-06-07 13:01:16 +02:00

const-arg-in-const-arg.rs

Bless tests due to extra error reporting due to normalizing types that are not WF

2024-11-27 03:34:58 +00:00

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

Simplify array length mismatch error reporting

2024-11-24 03:32:11 +00:00

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-has-ty-goal-in-error-implies.rs

Pass correct param-env to error_implies

2025-04-03 18:55:53 +00:00

const-param-has-ty-goal-in-error-implies.stderr

Pass correct param-env to error_implies

2025-04-03 18:55:53 +00:00

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

compiletest: Stricter parsing for diagnostic kinds

2025-04-07 19:13:31 +03:00

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

Handle infer vars in anon consts on stable

2024-11-12 21:36:42 +00:00

failing_goal_with_repeat_expr_anon_const.stderr

Handle infer vars in anon consts on stable

2024-11-12 21:36:42 +00:00

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

Simplify array length mismatch error reporting

2024-11-24 03:32:11 +00:00

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

Make missing lifetime suggestion verbose

2025-06-24 18:59:42 +00:00

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

Do not gather local all together at the beginning of typeck

2025-05-05 14:27:09 +00:00

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

Stop being so bail-y in candidate assembly

2024-11-21 01:35:34 +00:00

kind_mismatch.stderr

Verbose suggestion to make param const

2025-06-04 21:23:11 +00:00

legacy-const-generics-bad.rs

…

legacy-const-generics-bad.stderr

rustc_resolve: Improve resolve_const_param_in_non_trivial_anon_const wording

2025-06-07 13:01:16 +02: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

Note def descr in NonConstFunctionCall

2024-12-23 22:15:32 +00:00

nested-type.min.stderr

Note def descr in NonConstFunctionCall

2024-12-23 22:15:32 +00:00

nested-type.rs

Note def descr in NonConstFunctionCall

2024-12-23 22:15:32 +00:00

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

Dont create trait object if it has errors in it

2024-11-23 23:31:30 +00:00

not_wf_param_in_rpitit.stderr

Dont create trait object if it has errors in it

2024-11-23 23:31:30 +00:00

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

rustc_resolve: Improve resolve_const_param_in_non_trivial_anon_const wording

2025-06-07 13:01:16 +02:00

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

Remove the -test suffix from normalize directives

2024-12-27 19:58:16 +11:00

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

tests: bless remaining tests

2025-06-16 23:04:35 +00:00

unused-type-param-suggestion.stderr

tests: bless remaining tests

2025-06-16 23:04:35 +00:00

using-static-as-const-arg.rs

Introduce min_generic_const_args and directly represent paths

2024-11-19 05:07:43 +00:00

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

Introduce min_generic_const_args and directly represent paths

2024-11-19 05:07:43 +00:00