Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Implement const expressions and patterns (RFC 2920) #77124

Merged
merged 11 commits into from
Oct 17, 2020
Merged

Implement const expressions and patterns (RFC 2920) #77124

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
3c4ad55
Add inline_const feature flag
spastorino Sep 21, 2020
c3e8d79
Parse inline const expressions
spastorino Sep 21, 2020
59d07c3
Parse inline const patterns
spastorino Sep 23, 2020
66e2543
Lower inline const's AST to HIR
spastorino Oct 6, 2020
fe922e5
Lower inline const down to MIR
spastorino Oct 6, 2020
85b5ce2
Typeck inline consts
spastorino Oct 6, 2020
54596c9
Add inline const tests
spastorino Oct 6, 2020
27411d6
Handle ExprKind::ConstBlock on clippy
spastorino Oct 6, 2020
03defb6
Add check_generic_arg early pass
spastorino Oct 9, 2020
547e5eb
Do not check unused braces on inline consts
spastorino Oct 9, 2020
03321b8
Add inline const to INCOMPLETE_FEATURES
spastorino Oct 16, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Lower inline const's AST to HIR
  • Loading branch information
@spastorino
spastorino committed Oct 16, 2020
commit 66e254314d7fbb0defa2feb3b56ab212aafae933
5 changes: 3 additions & 2 deletions compiler/rustc_ast_lowering/src/expr.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -30,8 +30,9 @@ impl<'hir> LoweringContext<'_, 'hir> {
let kind = match e.kind {
ExprKind::Box(ref inner) => hir::ExprKind::Box(self.lower_expr(inner)),
ExprKind::Array(ref exprs) => hir::ExprKind::Array(self.lower_exprs(exprs)),
ExprKind::ConstBlock(_) => {
unimplemented!();
ExprKind::ConstBlock(ref anon_const) => {
let anon_const = self.lower_anon_const(anon_const);
hir::ExprKind::ConstBlock(anon_const)
}
ExprKind::Repeat(ref expr, ref count) => {
let expr = self.lower_expr(expr);
Expand Down
2 changes: 1 addition & 1 deletion compiler/rustc_ast_passes/src/ast_validation.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -287,7 +287,7 @@ impl<'a> AstValidator<'a> {
// ```
fn check_expr_within_pat(&self, expr: &Expr, allow_paths: bool) {
match expr.kind {
ExprKind::Lit(..) | ExprKind::Err => {}
ExprKind::Lit(..) | ExprKind::ConstBlock(..) | ExprKind::Err => {}
ExprKind::Path(..) if allow_paths => {}
ExprKind::Unary(UnOp::Neg, ref inner) if matches!(inner.kind, ExprKind::Lit(_)) => {}
_ => self.err_handler().span_err(
Expand Down