diff options
| author | bors <bors@rust-lang.org> | 2025-03-04 22:37:37 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2025-03-04 22:37:37 +0000 |
| commit | 08db600e8e276b548e986abe7239c2a85d2f425f (patch) | |
| tree | d476c7351b88185b75dea40761b2a236a4bacea2 /compiler/rustc_builtin_macros/src | |
| parent | f9e0239a7bc813b4aceffc7f069f4797cde3175c (diff) | |
| parent | 177e7ff5484cb712c176604eb49fce1d2f56b474 (diff) | |
| download | rust-08db600e8e276b548e986abe7239c2a85d2f425f.tar.gz rust-08db600e8e276b548e986abe7239c2a85d2f425f.zip | |
Auto merge of #135186 - camelid:const-path-multi, r=BoxyUwU
mgca: Lower all const paths as `ConstArgKind::Path` When `#![feature(min_generic_const_args)]` is enabled, we now lower all const paths in generic arg position to `hir::ConstArgKind::Path`. We then lower assoc const paths to `ty::ConstKind::Unevaluated` since we can no longer use the anon const expression lowering machinery. In the process of implementing this, I factored out `hir_ty_lowering` code that is now shared between lowering assoc types and assoc consts. This PR also introduces a `#[type_const]` attribute for trait assoc consts that are allowed as const args. However, we still need to implement code to check that assoc const definitions satisfy `#[type_const]` if present (basically is it a const path or a monomorphic anon const). r? `@BoxyUwU`
Diffstat (limited to 'compiler/rustc_builtin_macros/src')
| -rw-r--r-- | compiler/rustc_builtin_macros/src/format.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/rustc_builtin_macros/src/format.rs b/compiler/rustc_builtin_macros/src/format.rs index 90447da6680..6dbd8a7ac01 100644 --- a/compiler/rustc_builtin_macros/src/format.rs +++ b/compiler/rustc_builtin_macros/src/format.rs @@ -190,7 +190,8 @@ fn make_format_args( && let [stmt] = block.stmts.as_slice() && let StmtKind::Expr(expr) = &stmt.kind && let ExprKind::Path(None, path) = &expr.kind - && path.is_potential_trivial_const_arg() + && path.segments.len() == 1 + && path.segments[0].args.is_none() { err.multipart_suggestion( "quote your inlined format argument to use as string literal", |