Rollup merge of #113681 - aDotInTheVoid:rdj-priv-supertrait, r=Guilla…

…umeGomez rustdoc-json: Add test for private supertrait. Helps with #81359 r? ``@GuillaumeGomez``
rust-lang · Jul 14, 2023 · 4bd62f7 · 4bd62f7
2 parents a42b04c + 04dbc7d
commit 4bd62f7
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/tests/rustdoc-json/traits/private_supertrait.rs b/tests/rustdoc-json/traits/private_supertrait.rs
@@ -0,0 +1,15 @@
+// ignore-tidy-linelength
+
+#![feature(no_core)]
+#![no_core]
+
+
+// @!has "$.index[*][?(@.name == 'sealed')]"
+mod sealed {
+    // @set sealed_id = "$.index[*][?(@.name=='Sealed')].id"
+    pub trait Sealed {}
+}
+
+// @count "$.index[*][?(@.name=='Trait')].inner.trait.bounds[*]" 1
+// @is    "$.index[*][?(@.name=='Trait')].inner.trait.bounds[0].trait_bound.trait.id" $sealed_id
+pub trait Trait: sealed::Sealed {}