Jonathan BrouwerandGitHub 0c58e97926 Rollup merge of #158375 - khyperia:inline-consts-in-type-system, r=BoxyUwU ...

Support `DefKind::InlineConst` in `ConstKind::Unevaluated`

fixes https://github.com/rust-lang/project-const-generics/issues/101

required for https://github.com/rust-lang/project-const-generics/issues/108

consider: `Struct<{ (some, stuff, const { hi }) }>`. The following is very pseudocode-y, the important parts are whether it says AnonConst or InlineConst, not the Tuple stuff

- On stable, we represent this with: `AnonConst(Tuple(some, stuff, InlineConst(hi)))`
- Under mGCA, with "direct" arguments, before this PR, it was `Tuple(some, stuff, AnonConst(hi))`. The inner InlineConst got intercepted in the def_collector with hacks (`ConstArgContext`) and converted into an AnonConst, even though it has inline const syntax.

It would be nice to keep it as an InlineConst under mGCA, i.e. `Tuple(some, stuff, InlineConst(hi))`, and have the type system support passing around InlineConsts in `ConstKind::Unevaluated` (soon to be renamed `ConstKind::Alias`). This would allow the def collector to not need to know if we are in a "direct" or "regular/anon" context, which it turns out is extremely useful for implementing https://github.com/rust-lang/project-const-generics/issues/108. Supporting InlineConsts in the type system are also useful for other things, for example, mentioned in https://github.com/rust-lang/project-const-generics/issues/101 is arg position const generics experiments.

This PR does two things:

- support InlineConsts in the type system (i.e. in `ConstKind::Unevaluated`)
- exercise that support, by no longer intercepting mGCA "direct" argument inline consts to be anon consts

r? @BoxyUwU

2026-06-30 03:41:33 +02:00

..

auxiliary

MGCA: require #[type_const] on free consts too

2026-02-06 15:35:18 +01:00

adt_expr_arg_simple.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

adt_expr_arg_simple.stderr

rename opaque_generic_const_args to generic_const_args

2026-04-02 12:04:25 +02:00

adt_expr_arg_tuple_expr_fail.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

adt_expr_arg_tuple_expr_fail.stderr

mgca: Type-check fields of tuple expr const args

2026-01-08 11:09:07 -08:00

adt_expr_erroneuous_inits.rs

Lower hir::ConstArgKind::Struct to a ValTree

2025-12-23 13:54:59 +00:00

adt_expr_erroneuous_inits.stderr

Add span field for ConstArg

2026-01-07 08:44:32 +08:00

adt_expr_fields_type_check.rs

mgca: Type-check fields of ADT constructor expr const args

2026-01-08 10:52:58 -08:00

adt_expr_fields_type_check.stderr

mgca: Type-check fields of ADT constructor expr const args

2026-01-08 10:52:58 -08:00

adt_expr_infers_from_value.rs

gate ConstParamTy_ trait behind const_param_ty_trait feature

2026-03-06 05:39:07 +01:00

adt_expr_unit_enum_extra_field.rs

correct the enum extra field and make sure the diagnostic mimic the hir_typeck

2026-06-17 16:34:03 +00:00

adt_expr_unit_enum_extra_field.stderr

correct the enum extra field and make sure the diagnostic mimic the hir_typeck

2026-06-17 16:34:03 +00:00

adt_expr_unit_struct_extra_field.rs

correct the enum extra field and make sure the diagnostic mimic the hir_typeck

2026-06-17 16:34:03 +00:00

adt_expr_unit_struct_extra_field.stderr

correct the enum extra field and make sure the diagnostic mimic the hir_typeck

2026-06-17 16:34:03 +00:00

ambiguous-assoc-const.rs

…

ambiguous-assoc-const.stderr

…

array_elem_type_mismatch.rs

Fix ICE in try_to_raw_bytes when array elements have mismatched scalar

2026-02-26 04:36:03 +00:00

array_elem_type_mismatch.stderr

Fix ICE in try_to_raw_bytes when array elements have mismatched scalar

2026-02-26 04:36:03 +00:00

array_expr_arg_complex.rs

move array test to diff file

2026-02-16 01:35:50 +05:30

array_expr_arg_complex.stderr

move array test to diff file

2026-02-16 01:35:50 +05:30

array-const-arg-type-mismatch.rs

tests to check if ValTree checks elems recursively + check array expr with tuple arg

2026-02-12 03:50:58 +05:30

array-const-arg-type-mismatch.stderr

tests to check if ValTree checks elems recursively + check array expr with tuple arg

2026-02-12 03:50:58 +05:30

array-expr-complex.r1.stderr

Emit fatal on invalid const args with nested defs

2026-04-14 09:43:02 +08:00

array-expr-complex.r2.stderr

Emit fatal on invalid const args with nested defs

2026-04-14 09:43:02 +08:00

array-expr-complex.r3.stderr

Emit fatal on invalid const args with nested defs

2026-04-14 09:43:02 +08:00

array-expr-complex.rs

Emit fatal on invalid const args with nested defs

2026-04-14 09:43:02 +08:00

array-expr-empty.rs

Add mGCA array expression tests

2026-01-10 12:45:26 +09:00

array-expr-empty.stderr

Add mGCA array expression tests

2026-01-10 12:45:26 +09:00

array-expr-simple.rs

Add mGCA array expression tests

2026-01-10 12:45:26 +09:00

array-expr-type-mismatch-in-where-bound.rs

mGCA: drop literal anon-const special case in parser

2026-02-25 04:05:12 +00:00

array-expr-type-mismatch-in-where-bound.stderr

mGCA: drop literal anon-const special case in parser

2026-02-25 04:05:12 +00:00

array-expr-with-assoc-const.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

array-expr-with-macro.rs

Add mGCA array expression tests

2026-01-10 12:45:26 +09:00

array-expr-with-struct.rs

Add mGCA array expression tests

2026-01-10 12:45:26 +09:00

array-expr-with-tuple.rs

Add mGCA array expression tests

2026-01-10 12:45:26 +09:00

array-with-wrong-tuple-type.rs

tests to check if ValTree checks elems recursively + check array expr with tuple arg

2026-02-12 03:50:58 +05:30

array-with-wrong-tuple-type.stderr

tests to check if ValTree checks elems recursively + check array expr with tuple arg

2026-02-12 03:50:58 +05:30

assoc-const-projection-in-bound.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

assoc-const-without-type_const.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

assoc-const-without-type_const.stderr

Use verbose span suggestion for type const

2026-03-24 15:02:10 +00:00

assoc-const.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

bad-const-arg-fn-154539.rs

Emit fatal on invalid const args with nested defs

2026-04-14 09:43:02 +08:00

bad-const-arg-fn-154539.stderr

Emit fatal on invalid const args with nested defs

2026-04-14 09:43:02 +08:00

bad-impl-trait-with-apit.rs

Use infer tys for synthetic params when lowering const paths point to fns

2026-06-27 14:04:18 +08:00

bad-impl-trait-with-apit.stderr

Use infer tys for synthetic params when lowering const paths point to fns

2026-06-27 14:04:18 +08:00

bad-type_const-syntax.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

bad-type_const-syntax.stderr

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

braced-const-infer.rs

mGCA: Lower const generic args to infer when needed

2026-03-17 15:24:03 +00:00

braced-const-infer.stderr

mGCA: Lower const generic args to infer when needed

2026-03-17 15:24:03 +00:00

concrete-expr-with-generics-in-env.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

const-arg-coherence-conflicting-methods.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

const-arg-coherence-conflicting-methods.stderr

MGCA: require #[type_const] on free consts too

2026-02-06 15:35:18 +01:00

const-arg-mismatched-literal-suffix.rs

Make const_lit_matches_ty check literal suffixes for exact type match

2026-03-01 12:47:52 +09:00

const-arg-mismatched-literal-suffix.stderr

Make const_lit_matches_ty check literal suffixes for exact type match

2026-03-01 12:47:52 +09:00

const-ctor-overflow-eval.rs

Tweak wording of E0275 WF errors

2026-03-29 18:25:55 +00:00

const-ctor-overflow-eval.stderr

Tweak wording of E0275 WF errors

2026-03-29 18:25:55 +00:00

const-ctor-with-error.rs

add const ctor support

2026-01-06 15:04:25 +00:00

const-ctor-with-error.stderr

add const ctor support

2026-01-06 15:04:25 +00:00

const-ctor.rs

gate ConstParamTy_ trait behind const_param_ty_trait feature

2026-03-06 05:39:07 +01:00

cyclic-type-const-151251.rs

Rename from alias const to const alias and bless test

2026-06-26 07:12:29 +00:00

cyclic-type-const-151251.stderr

Rename from alias const to const alias and bless test

2026-06-26 07:12:29 +00:00

double-inline-const.rs

Support DefKind::InlineConst in UnevaluatedConst

2026-06-27 17:49:30 +02:00

double-inline-const.stderr

Support DefKind::InlineConst in UnevaluatedConst

2026-06-27 17:49:30 +02:00

early-bound-param-lt-bad.rs

Use more principled check for generics in const ops

2026-01-01 18:12:34 -08:00

early-bound-param-lt-bad.stderr

rename opaque_generic_const_args to generic_const_args

2026-04-02 12:04:25 +02:00

explicit_anon_consts_literals_hack.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

explicit_anon_consts.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

explicit_anon_consts.stderr

rename opaque_generic_const_args to generic_const_args

2026-04-02 12:04:25 +02:00

free-const-recursive.rs

add IsRigid marker to TyKind::Alias and constants

2026-06-25 17:12:10 +08:00

free-const-recursive.stderr

add IsRigid marker to TyKind::Alias and constants

2026-06-25 17:12:10 +08:00

generic_const_type_mismatch.rs

gate ConstParamTy_ trait behind const_param_ty_trait feature

2026-03-06 05:39:07 +01:00

generic_const_type_mismatch.stderr

modify error comment and bless test, delete tests/ui/const-generics/generic_const_exprs/lit_type_mismatch.rs

2026-02-14 04:12:46 +00:00

generic-args-on-enum-variant-segments-fail.rs

fix(mgca): Allow specifying generic args (of enum) on enum itself in unit & tuple variant constructions in (direct) const args

2026-06-10 23:43:11 +02:00

generic-args-on-enum-variant-segments-fail.stderr

fix(mgca): Allow specifying generic args (of enum) on enum itself in unit & tuple variant constructions in (direct) const args

2026-06-10 23:43:11 +02:00

generic-args-on-enum-variant-segments.rs

fix(mgca): Allow specifying generic args (of enum) on enum itself in unit & tuple variant constructions in (direct) const args

2026-06-10 23:43:11 +02:00

higher-ranked-lts-bad.rs

Use more principled check for generics in const ops

2026-01-01 18:12:34 -08:00

higher-ranked-lts-bad.stderr

Use more principled check for generics in const ops

2026-01-01 18:12:34 -08:00

higher-ranked-lts-good.rs

Use more principled check for generics in const ops

2026-01-01 18:12:34 -08:00

infer-vars-in-const-args-conflicting.rs

Improve ty::Infer handling during const literal lowering

2026-03-17 21:02:09 +05:00

infer-vars-in-const-args-conflicting.stderr

Improve ty::Infer handling during const literal lowering

2026-03-17 21:02:09 +05:00

infer-vars-in-const-args-correct.rs

Improve ty::Infer handling during const literal lowering

2026-03-17 21:02:09 +05:00

inherent-const-gating.rs

…

inherent-const-gating.stderr

…

invalid-array-in-tuple.rs

tests to check if ValTree checks elems recursively + check array expr with tuple arg

2026-02-12 03:50:58 +05:30

invalid-array-in-tuple.stderr

tests to check if ValTree checks elems recursively + check array expr with tuple arg

2026-02-12 03:50:58 +05:30

late-bound-param-lt-bad.rs

Use more principled check for generics in const ops

2026-01-01 18:12:34 -08:00

late-bound-param-lt-bad.stderr

Use more principled check for generics in const ops

2026-01-01 18:12:34 -08:00

macro-const-arg-infer.rs

mGCA: Lower const generic args to infer when needed

2026-03-17 15:24:03 +00:00

macro-const-arg-infer.stderr

mGCA: Lower const generic args to infer when needed

2026-03-17 15:24:03 +00:00

missing_generic_params.rs

Require generic params for const generic params

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

missing_generic_params.stderr

Require generic params for const generic params

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

multi_braced_direct_const_args.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

negated-literal.rs

mGCA: Support directly represented negated literals

2026-02-06 14:04:55 +01:00

non-local-const-without-type_const.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

non-local-const-without-type_const.stderr

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

nonsensical-negated-literal.rs

mGCA: Reject negated non-integer literals in const args

2026-02-25 03:16:17 +00:00

nonsensical-negated-literal.stderr

mGCA: Reject negated non-integer literals in const args

2026-02-25 03:16:17 +00:00

printing_valtrees_supports_non_values.rs

Enforce that directives are consistently used with or without a colon

2026-05-13 15:52:33 +10:00

printing_valtrees_supports_non_values.stderr

mgca: Type-check fields of ADT constructor expr const args

2026-01-08 10:52:58 -08:00

projection-const-recursive.rs

add IsRigid marker to TyKind::Alias and constants

2026-06-25 17:12:10 +08:00

projection-const-recursive.stderr

add IsRigid marker to TyKind::Alias and constants

2026-06-25 17:12:10 +08:00

projection-error.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

projection-error.stderr

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

resolution-with-inherent-associated-types.rs

Add regression test for 141845

2025-12-05 00:39:55 +09:00

resolution-with-inherent-associated-types.stderr

Add regression test for 141845

2025-12-05 00:39:55 +09:00

selftyalias-containing-param.rs

Use more principled check for generics in const ops

2026-01-01 18:12:34 -08:00

selftyalias-containing-param.stderr

rename opaque_generic_const_args to generic_const_args

2026-04-02 12:04:25 +02:00

selftyparam.rs

Use more principled check for generics in const ops

2026-01-01 18:12:34 -08:00

selftyparam.stderr

rename opaque_generic_const_args to generic_const_args

2026-04-02 12:04:25 +02:00

size-of-generic-ptr-in-array-len.rs

fix missleading error for tuple ctor

2026-02-13 09:54:04 +00:00

size-of-generic-ptr-in-array-len.stderr

rename opaque_generic_const_args to generic_const_args

2026-04-02 12:04:25 +02:00

struct_expr_with_macros.rs

Introduce hir::ConstArgKind::Struct

2025-12-23 13:54:59 +00:00

struct-ctor-in-array-len.rs

allow incomplete_features in more tests

2026-03-23 20:08:24 +00:00

struct-ctor-in-array-len.stderr

allow incomplete_features in more tests

2026-03-23 20:08:24 +00:00

suggest-pub-type_const.fixed

Suggest type next to visibility for const items

2026-06-09 02:22:45 +00:00

suggest-pub-type_const.rs

Suggest type next to visibility for const items

2026-06-09 02:22:45 +00:00

suggest-pub-type_const.stderr

Suggest type next to visibility for const items

2026-06-09 02:22:45 +00:00

syntactic-type-mismatch.rs

MGCA: fix type error handling for array and tuple lowering logic

2026-03-03 17:08:26 +05:00

syntactic-type-mismatch.stderr

MGCA: fix type error handling for array and tuple lowering logic

2026-03-03 17:08:26 +05:00

synth-gen-arg-ice-158152.rs

Use infer tys for synthetic params when lowering const paths point to fns

2026-06-27 14:04:18 +08:00

synth-gen-arg-ice-158152.stderr

Use infer tys for synthetic params when lowering const paths point to fns

2026-06-27 14:04:18 +08:00

tuple_ctor_arg_simple.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

tuple_ctor_complex_args.rs

init impl

2026-01-04 15:12:39 +00:00

tuple_ctor_complex_args.stderr

rename opaque_generic_const_args to generic_const_args

2026-04-02 12:04:25 +02:00

tuple_ctor_erroneous.rs

fix missleading error for tuple ctor

2026-02-13 09:54:04 +00:00

tuple_ctor_erroneous.stderr

fix missleading error for tuple ctor

2026-02-13 09:54:04 +00:00

tuple_ctor_in_array_len.rs

init impl

2026-01-04 15:12:39 +00:00

tuple_ctor_in_array_len.stderr

init impl

2026-01-04 15:12:39 +00:00

tuple_ctor_nested.rs

init impl

2026-01-04 15:12:39 +00:00

tuple_ctor_type_relative.rs

init impl

2026-01-04 15:12:39 +00:00

tuple_expr_arg_bad-issue-151048.rs

Add tup expr arg unbounded assoc const test and update test with proper expected enum diagnostics

2026-06-22 07:13:11 +00:00

tuple_expr_arg_bad-issue-151048.stderr

Add tup expr arg unbounded assoc const test and update test with proper expected enum diagnostics

2026-06-22 07:13:11 +00:00

tuple_expr_arg_complex.rs

move array test to diff file

2026-02-16 01:35:50 +05:30

tuple_expr_arg_complex.stderr

rename opaque_generic_const_args to generic_const_args

2026-04-02 12:04:25 +02:00

tuple_expr_arg_mismatch_type.rs

Add tup expr arg unbounded assoc const test and update test with proper expected enum diagnostics

2026-06-22 07:13:11 +00:00

tuple_expr_arg_mismatch_type.stderr

Add tup expr arg unbounded assoc const test and update test with proper expected enum diagnostics

2026-06-22 07:13:11 +00:00

tuple_expr_arg_simple.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

tuple_expr_arg_unbounded_assoc_const.rs

Add tup expr arg unbounded assoc const test and update test with proper expected enum diagnostics

2026-06-22 07:13:11 +00:00

tuple_expr_arg_unbounded_assoc_const.stderr

Add tup expr arg unbounded assoc const test and update test with proper expected enum diagnostics

2026-06-22 07:13:11 +00:00

tuple_expr_type_mismatch.rs

modify error comment and bless test, delete tests/ui/const-generics/generic_const_exprs/lit_type_mismatch.rs

2026-02-14 04:12:46 +00:00

tuple_expr_type_mismatch.stderr

modify error comment and bless test, delete tests/ui/const-generics/generic_const_exprs/lit_type_mismatch.rs

2026-02-14 04:12:46 +00:00

type_as_const_in_array_len.rs

init impl

2026-01-04 15:12:39 +00:00

type_as_const_in_array_len.stderr

init impl

2026-01-04 15:12:39 +00:00

type_const_in_pattern_too_generic.rs

add const evaluation test which is too generic to evaluate

2026-06-13 09:20:48 +05:30

type_const_in_pattern_too_generic.stderr

add const evaluation test which is too generic to evaluate

2026-06-13 09:20:48 +05:30

type_const_in_pattern.rs

update type_const_in_pattern test to include issue-156409

2026-06-13 09:20:48 +05:30

type_const-array-return.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

type_const-generic-param-in-type.gate.stderr

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

type_const-generic-param-in-type.nogate.stderr

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

type_const-generic-param-in-type.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

type_const-incemental-compile.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

type_const-inherent-const-omitted-type.rs

mGCA: drop literal anon-const special case in parser

2026-02-25 04:05:12 +00:00

type_const-inherent-const-omitted-type.stderr

mGCA: drop literal anon-const special case in parser

2026-02-25 04:05:12 +00:00

type_const-mismatched-type-incremental.rs

Lower spans for literal const args

2026-04-02 09:20:45 +00:00

type_const-mismatched-type-incremental.stderr

Lower spans for literal const args

2026-04-02 09:20:45 +00:00

type_const-mismatched-types.rs

Register ConstArgHasType when normalizing free const aliases

2026-06-04 12:58:46 +09:00

type_const-mismatched-types.stderr

Register ConstArgHasType when normalizing free const aliases

2026-06-04 12:58:46 +09:00

type_const-not-constparamty.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

type_const-not-constparamty.stderr

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

type_const-on-generic_expr-2.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

type_const-on-generic_expr-2.stderr

rename opaque_generic_const_args to generic_const_args

2026-04-02 12:04:25 +02:00

type_const-on-generic-expr.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

type_const-on-generic-expr.stderr

rename opaque_generic_const_args to generic_const_args

2026-04-02 12:04:25 +02:00

type_const-only-in-impl-omitted-type.rs

mGCA: drop literal anon-const special case in parser

2026-02-25 04:05:12 +00:00

type_const-only-in-impl-omitted-type.stderr

mGCA: drop literal anon-const special case in parser

2026-02-25 04:05:12 +00:00

type_const-only-in-impl.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

type_const-only-in-impl.stderr

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

type_const-only-in-trait.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

type_const-only-in-trait.stderr

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

type_const-pub.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

type_const-recursive.rs

Rename from alias const to const alias and bless test

2026-06-26 07:12:29 +00:00

type_const-recursive.stderr

Rename from alias const to const alias and bless test

2026-06-26 07:12:29 +00:00

type_const-use.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

type-const-assoc-const-without-body.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

type-const-assoc-const-without-body.stderr

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

type-const-associated-default.rs

gate defaulted type consts with associated_type_defaults

2026-02-19 10:07:06 +05:30

type-const-associated-default.stderr

gate defaulted type consts with associated_type_defaults

2026-02-19 10:07:06 +05:30

type-const-ctor-148953.rs

Add regression test for type_const with unit struct ctor under mGCA

2026-02-10 07:34:53 +00:00

type-const-free-anon-const-mismatch.rs

Remove no longer needed #![expect(incomplete_features)]

2026-06-08 21:47:02 +09:00

type-const-free-anon-const-mismatch.stderr

Bless tests

2026-06-14 04:02:35 +09:00

type-const-free-value-type-mismatch.current.stderr

Remove no longer needed #![expect(incomplete_features)]

2026-06-08 21:47:02 +09:00

type-const-free-value-type-mismatch.next.stderr

Bless tests

2026-06-14 04:02:35 +09:00

type-const-free-value-type-mismatch.rs

Remove no longer needed #![expect(incomplete_features)]

2026-06-08 21:47:02 +09:00

type-const-free-value-used-in-body.rs

Add type-const-free-value-used-in-body.rs regression test

2026-06-08 21:46:57 +09:00

type-const-free-value-used-in-body.stderr

Add type-const-free-value-used-in-body.rs regression test

2026-06-08 21:46:57 +09:00

type-const-inherent-assoc-const-without-body.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

type-const-inherent-assoc-const-without-body.stderr

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

type-const-inherent-value-type-mismatch.current.stderr

Remove no longer needed #![expect(incomplete_features)]

2026-06-08 21:47:02 +09:00

type-const-inherent-value-type-mismatch.next.stderr

Bless tests

2026-06-14 04:02:35 +09:00

type-const-inherent-value-type-mismatch.rs

Remove no longer needed #![expect(incomplete_features)]

2026-06-08 21:47:02 +09:00

type-const-suggestion.rs

add suggestion for mgca to add assoc type

2026-06-15 12:02:46 +00:00

type-const-suggestion.stderr

add suggestion for mgca to add assoc type

2026-06-15 12:02:46 +00:00

type-const-used-in-trait.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

type-const-value-type-mismatch.current.stderr

Remove no longer needed #![expect(incomplete_features)]

2026-06-08 21:47:02 +09:00

type-const-value-type-mismatch.next.stderr

Bless tests

2026-06-14 04:02:35 +09:00

type-const-value-type-mismatch.rs

Bless tests

2026-06-14 04:02:35 +09:00

unbraced_const_block_const_arg_gated.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

unbraced_const_block_const_arg_gated.stderr

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

unexpected-fn-item-in-array.rs

allow incomplete_features in more tests

2026-03-23 20:08:24 +00:00

unexpected-fn-item-in-array.stderr

allow incomplete_features in more tests

2026-03-23 20:08:24 +00:00

unmarked-free-const.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

unmarked-free-const.stderr

Use verbose span suggestion for type const

2026-03-24 15:02:10 +00:00

unused_speculative_def_id.rs

dont create unnecessary DefIds under mgca

2025-12-15 22:59:15 +00:00

unused_speculative_def_id.stderr

dont create unnecessary DefIds under mgca

2025-12-15 22:59:15 +00:00

wrapped_array_elem_type_mismatch.rs

Fix ICE in try_to_raw_bytes when array elements have mismatched scalar

2026-02-26 04:36:03 +00:00

wrapped_array_elem_type_mismatch.stderr

Fix ICE in try_to_raw_bytes when array elements have mismatched scalar

2026-02-26 04:36:03 +00:00

wrong_type_const_arr_diag_trait.rs

Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.

2026-02-09 07:59:24 -08:00

wrong_type_const_arr_diag_trait.stderr

fix: allow to print const array as raw bytes only if possible to do so

2026-01-22 15:06:22 +05:00

wrong_type_const_arr_diag.rs

fix: allow to print const array as raw bytes only if possible to do so

2026-01-22 15:06:22 +05:00

wrong_type_const_arr_diag.stderr

fix: allow to print const array as raw bytes only if possible to do so

2026-01-22 15:06:22 +05:00