diff --git a/crates/ra_syntax/src/ast/generated/nodes.rs b/crates/ra_syntax/src/ast/generated/nodes.rs
index 3e5624bd2e..2b652dcb50 100644
--- a/crates/ra_syntax/src/ast/generated/nodes.rs
+++ b/crates/ra_syntax/src/ast/generated/nodes.rs
@@ -2234,7 +2234,7 @@ impl UseItem {
 /// pub use ❰ foo::❰ * ❱ ❱;
 /// use ❰ bar as baz ❱;
 /// use ❰ bruh::bruuh::{ ❰ self ❱, ❰ blin ❱ } ❱;
-/// use ❰ { ❰ blin::blen ❱ } ❱ // TODO: clarify if top-level curlies are `UseTree`
+/// use ❰ { ❰ blin::blen ❱ } ❱
 /// ```
 ///
 /// [Reference](https://doc.rust-lang.org/reference/items/use-declarations.html)
@@ -2374,7 +2374,7 @@ impl PathSegment {
 /// List of type arguments that are passed at generic instantiation site.
 ///
 /// ```
-/// use foo ❰ ::<'a, u64, Item = Bar, 42, true> ❱::bar;
+/// type _ = Foo ❰ ::<'a, u64, Item = Bar, 42, {true}> ❱::Bar;
 ///
 /// Vec❰ ::<bool> ❱::();
 /// ```
@@ -2397,7 +2397,7 @@ impl TypeArgList {
 /// Type argument that is passed at generic instantiation site.
 ///
 /// ```
-/// use foo::<'a, ❰ u64 ❱, ❰ bool ❱, Item = Bar, 42>::baz;
+/// type _ = Foo::<'a, ❰ u64 ❱, ❰ bool ❱, Item = Bar, 42>::Baz;
 /// ```
 ///
 /// [Reference](https://doc.rust-lang.org/reference/paths.html#paths-in-expressions)
diff --git a/xtask/src/ast_src.rs b/xtask/src/ast_src.rs
index e68c77a626..815c5f8856 100644
--- a/xtask/src/ast_src.rs
+++ b/xtask/src/ast_src.rs
@@ -1831,14 +1831,13 @@ pub(crate) const AST_SRC: AstSrc = AstSrc {
             UseTree,
         }
 
-        // TODO: verify example correctness
         /// Use tree.
         ///
         /// ```
         /// pub use ❰ foo::❰ * ❱ ❱;
         /// use ❰ bar as baz ❱;
         /// use ❰ bruh::bruuh::{ ❰ self ❱, ❰ blin ❱ } ❱;
-        /// use ❰ { ❰ blin::blen ❱ } ❱ // TODO: clarify if top-level curlies are `UseTree`
+        /// use ❰ { ❰ blin::blen ❱ } ❱
         /// ```
         ///
         /// [Reference](https://doc.rust-lang.org/reference/items/use-declarations.html)
@@ -1929,11 +1928,10 @@ pub(crate) const AST_SRC: AstSrc = AstSrc {
             T![::], T![crate], T![self], T![super], T![<], NameRef, TypeArgList, ParamList, RetType, PathType, T![>]
         }
 
-        // TODO: verify the example
         /// List of type arguments that are passed at generic instantiation site.
         ///
         /// ```
-        /// use foo ❰ ::<'a, u64, Item = Bar, 42, true> ❱::bar;
+        /// type _ = Foo ❰ ::<'a, u64, Item = Bar, 42, {true}> ❱::Bar;
         ///
         /// Vec❰ ::<bool> ❱::();
         /// ```
@@ -1953,7 +1951,7 @@ pub(crate) const AST_SRC: AstSrc = AstSrc {
         /// Type argument that is passed at generic instantiation site.
         ///
         /// ```
-        /// use foo::<'a, ❰ u64 ❱, ❰ bool ❱, Item = Bar, 42>::baz;
+        /// type _ = Foo::<'a, ❰ u64 ❱, ❰ bool ❱, Item = Bar, 42>::Baz;
         /// ```
         ///
         /// [Reference](https://doc.rust-lang.org/reference/paths.html#paths-in-expressions)