From a703feb0a2b492a0416a2d9bdd86d6d95bdcffbc Mon Sep 17 00:00:00 2001
From: David Wood <david.wood2@arm.com>
Date: Sat, 16 Nov 2024 16:15:46 +0000
Subject: [PATCH] use current const trait syntax

---
 text/3729-sized-hierarchy.md | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/text/3729-sized-hierarchy.md b/text/3729-sized-hierarchy.md
index 28ee5b23559..4db7cc064bd 100644
--- a/text/3729-sized-hierarchy.md
+++ b/text/3729-sized-hierarchy.md
@@ -291,9 +291,11 @@ traits `const`:
 Or, in Rust syntax:
 
 ```rust
-const trait Sized: ~const ValueSized {}
+#![feature(const_trait_impl)]
 
-const trait ValueSized: std::ptr::Pointee {}
+#[const_trait] trait Sized: ~const ValueSized {}
+
+#[const_trait] trait ValueSized: std::ptr::Pointee {}
 ```
 
 `Pointee` was specified in [rfcs#2580][rfc_pointer_metadata_vtable] and is