about summary refs log tree commit diff
path: root/compiler/rustc_parse
diff options
context:
space:
mode:
authorLeón Orell Valerian Liehr <me@fmease.dev>2025-08-05 14:52:02 +0200
committerLeón Orell Valerian Liehr <me@fmease.dev>2025-08-05 14:52:02 +0200
commit092c6f3a188ec8b261ec3368e49ad3b07bcc13dc (patch)
tree335904c6352069a95be86d9d18d4aa97d24eee2c /compiler/rustc_parse
parent67819923ac8ea353aaa775303f4c3aacbf41d010 (diff)
downloadrust-092c6f3a188ec8b261ec3368e49ad3b07bcc13dc.tar.gz
rust-092c6f3a188ec8b261ec3368e49ad3b07bcc13dc.zip
Gate const trait syntax
Diffstat (limited to 'compiler/rustc_parse')
-rw-r--r--compiler/rustc_parse/src/parser/item.rs3
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/rustc_parse/src/parser/item.rs b/compiler/rustc_parse/src/parser/item.rs
index b767b0fcf99..b19adfba14f 100644
--- a/compiler/rustc_parse/src/parser/item.rs
+++ b/compiler/rustc_parse/src/parser/item.rs
@@ -885,6 +885,9 @@ impl<'a> Parser<'a> {
     /// Parses `unsafe? auto? trait Foo { ... }` or `trait Foo = Bar;`.
     fn parse_item_trait(&mut self, attrs: &mut AttrVec, lo: Span) -> PResult<'a, ItemKind> {
         let constness = self.parse_constness(Case::Sensitive);
+        if let Const::Yes(span) = constness {
+            self.psess.gated_spans.gate(sym::const_trait_impl, span);
+        }
         let safety = self.parse_safety(Case::Sensitive);
         // Parse optional `auto` prefix.
         let is_auto = if self.eat_keyword(exp!(Auto)) {