Mirrors/rust
1
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2026-04-30 23:03:06 +03:00
Code Issues Packages Projects Releases Wiki Activity
Files
perf-tmp
rust/tests/ui/const-generics/mgca
T
History
mu001999 58af51e243 Emit fatal on invalid const args with nested defs
2026-04-14 09:43:02 +08: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
ambiguous-assoc-const.rs
mgca: Lower all const paths as ConstArgKind::Path
2025-03-04 10:11:13 -05:00
ambiguous-assoc-const.stderr
mgca: Lower all const paths as ConstArgKind::Path
2025-03-04 10:11:13 -05:00
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-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
Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.
2026-02-09 07:59:24 -08:00
cyclic-type-const-151251.stderr
Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.
2026-02-09 07:59:24 -08: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
Properly generalize unevaluated consts
2026-03-30 15:47:49 +02:00
free-const-recursive.stderr
Properly generalize unevaluated consts
2026-03-30 15:47:49 +02: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
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
mgca: Lower all const paths as ConstArgKind::Path
2025-03-04 10:11:13 -05:00
inherent-const-gating.stderr
mgca: Lower all const paths as ConstArgKind::Path
2025-03-04 10:11:13 -05:00
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
Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.
2026-02-09 07:59:24 -08: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
Properly generalize unevaluated consts
2026-03-30 15:47:49 +02:00
projection-const-recursive.stderr
Properly generalize unevaluated consts
2026-03-30 15:47:49 +02: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
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
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 test for issue 151048
2026-01-14 20:59:41 +08:00
tuple_expr_arg_bad-issue-151048.stderr
Add test for issue 151048
2026-01-14 20:59:41 +08: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
Rename tests for const tuple properly
2026-01-11 11:26:10 +08:00
tuple_expr_arg_mismatch_type.stderr
Rename tests for const tuple properly
2026-01-11 11:26:10 +08: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_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-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
mGCA: drop literal anon-const special case in parser
2026-02-25 04:05:12 +00:00
type_const-mismatched-types.stderr
mGCA: drop literal anon-const special case in parser
2026-02-25 04:05:12 +00: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
Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.
2026-02-09 07:59:24 -08:00
type_const-recursive.stderr
Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized.
2026-02-09 07:59:24 -08: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-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-used-in-trait.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.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