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

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

diff --git a/src/opaque-types-impl-trait-inference.md b/src/opaque-types-impl-trait-inference.md
index bdf4e4cd8..42600ad87 100644
--- a/src/opaque-types-impl-trait-inference.md
+++ b/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]
     }