-
-
Notifications
You must be signed in to change notification settings - Fork 14.7k
MGCA: support tuple constructor calls as a direct const argument #150610
Copy link
Copy link
Closed
Labels
A-AST-loweringArea: AST lowering (AST → HIR)Area: AST lowering (AST → HIR)A-HIR-ty-loweringArea: HIR ty lowering (HIR → middle::ty IR)Area: HIR ty lowering (HIR → middle::ty IR)A-const-genericsArea: const generics (parameters and arguments)Area: const generics (parameters and arguments)E-mediumCall for participation: Medium difficulty. Experience needed to fix: Intermediate.Call for participation: Medium difficulty. Experience needed to fix: Intermediate.E-mentorCall for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.Call for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.F-min_generic_const_args`#![feature(min_generic_const_args)]``#![feature(min_generic_const_args)]`T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.
Metadata
Metadata
Assignees
Labels
A-AST-loweringArea: AST lowering (AST → HIR)Area: AST lowering (AST → HIR)A-HIR-ty-loweringArea: HIR ty lowering (HIR → middle::ty IR)Area: HIR ty lowering (HIR → middle::ty IR)A-const-genericsArea: const generics (parameters and arguments)Area: const generics (parameters and arguments)E-mediumCall for participation: Medium difficulty. Experience needed to fix: Intermediate.Call for participation: Medium difficulty. Experience needed to fix: Intermediate.E-mentorCall for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.Call for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.F-min_generic_const_args`#![feature(min_generic_const_args)]``#![feature(min_generic_const_args)]`T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.
Type
Fields
Give feedbackNo fields configured for issues without a type.
We currently support
Enum::Variant { field: N }andStruct { field: N }as const arguments undermin_generic_const_args. We should also supportEnum::Variant(N)andStruct(N)syntax.These should lower directly to a
ConstKind::Valuein HIR ty lowering