tests for label_traits

Author: ThierryBerger

tests/rustdoc-html/label_trait/label-trait-badge.rs

@@ -0,0 +1,25 @@
+#![feature(doc_label_trait)]
+#![crate_name = "foo"]
+
+#[doc(label_trait)]
+pub trait Labeled {}
+
+#[doc(label_trait)]
+pub trait AlsoLabeled {}
+
+pub trait Plain {}
+
+//@ has 'foo/struct.Tagged.html'
+//@ has - '//a[@class="impl-label-trait-full-badge"][@href="trait.Labeled.html"][@title="foo::Labeled"]' 'Labeled'
+// Badges are sorted by trait name, so `AlsoLabeled` precedes `Labeled`.
+//@ has - '//div[@class="impl-label-trait-full-badge-container"]/a[1]' 'AlsoLabeled'
+//@ has - '//div[@class="impl-label-trait-full-badge-container"]/a[2]' 'Labeled'
+pub struct Tagged;
+impl Labeled for Tagged {}
+impl AlsoLabeled for Tagged {}
+impl Plain for Tagged {}
+
+//@ has 'foo/struct.Untagged.html'
+//@ count - '//div[@class="impl-label-trait-full-badge-container"]' 0
+pub struct Untagged;
+impl Plain for Untagged {}

tests/rustdoc-html/label_trait/label-trait-generic.rs

@@ -0,0 +1,13 @@
+#![feature(doc_label_trait)]
+#![crate_name = "foo"]
+
+#[doc(label_trait)]
+pub trait Labeled {}
+
+pub trait Bound {}
+
+// A conditional impl: the badge is rendered unconditionally even though the
+// impl only holds for `T: Bound`.
+//@ has 'foo/struct.Wrapper.html' '//a[@class="impl-label-trait-full-badge"]' 'Labeled'
+pub struct Wrapper<T>(pub T);
+impl<T: Bound> Labeled for Wrapper<T> {}

tests/rustdoc-html/label_trait/label-trait-negative.rs

@@ -0,0 +1,10 @@
+#![feature(doc_label_trait, negative_impls)]
+#![crate_name = "foo"]
+
+#[doc(label_trait)]
+pub trait Labeled {}
+
+// A negative impl must not produce a badge.
+//@ count 'foo/struct.Neg.html' '//div[@class="impl-label-trait-full-badge-container"]' 0
+pub struct Neg;
+impl !Labeled for Neg {}

tests/rustdoc-html/label_trait/label-trait-supertrait.rs

@@ -0,0 +1,16 @@
+#![feature(doc_label_trait)]
+#![crate_name = "foo"]
+
+#[doc(label_trait)]
+pub trait Base {}
+
+pub trait Derived: Base {}
+
+//@ has 'foo/struct.S.html'
+// Implementing `Derived` requires implementing the label supertrait `Base`,
+// so its badge shows up.
+//@ count - '//a[@class="impl-label-trait-full-badge"]' 1
+//@ has - '//a[@class="impl-label-trait-full-badge"]' 'Base'
+pub struct S;
+impl Base for S {}
+impl Derived for S {}