From 171312aa4ea0c17f0b41b4b99da680e5bf0e84f5 Mon Sep 17 00:00:00 2001
From: Stan Manilov <stanislav.manilov@gmail.com>
Date: Sun, 1 Jun 2025 10:36:28 +0300
Subject: Add opaque type attributes

This allows for the code to compile on `nightly`.
---
 src/doc/rustc-dev-guide/src/opaque-types-impl-trait-inference.md | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/doc/rustc-dev-guide')

diff --git a/src/doc/rustc-dev-guide/src/opaque-types-impl-trait-inference.md b/src/doc/rustc-dev-guide/src/opaque-types-impl-trait-inference.md
index bdf4e4cd870..42600ad87f8 100644
--- a/src/doc/rustc-dev-guide/src/opaque-types-impl-trait-inference.md
+++ b/src/doc/rustc-dev-guide/src/opaque-types-impl-trait-inference.md
@@ -13,13 +13,16 @@ it can work across functions and function bodies.
 To help explain how it works, let's consider an example.
 
 ```rust
+#![feature(type_alias_impl_trait)]
 mod m {
     pub type Seq<T> = impl IntoIterator<Item = T>;
 
+    #[define_opaque(Seq)]
     pub fn produce_singleton<T>(t: T) -> Seq<T> {
         vec![t]
     }
 
+    #[define_opaque(Seq)]
     pub fn produce_doubleton<T>(t: T, u: T) -> Seq<T> {
         vec![t, u]
     }
-- 
cgit 1.4.1-3-g733a5