summaryrefslogtreecommitdiffstats
path: root/tests/rustdoc/generic-const-items.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/rustdoc/generic-const-items.rs')
-rw-r--r--tests/rustdoc/generic-const-items.rs38
1 files changed, 38 insertions, 0 deletions
diff --git a/tests/rustdoc/generic-const-items.rs b/tests/rustdoc/generic-const-items.rs
new file mode 100644
index 000000000..e2c6a027a
--- /dev/null
+++ b/tests/rustdoc/generic-const-items.rs
@@ -0,0 +1,38 @@
+#![feature(generic_const_items)]
+#![allow(incomplete_features)]
+
+// @has 'generic_const_items/constant.K.html'
+// @has - '//*[@class="rust item-decl"]//code' \
+// "pub const K<'a, T: 'a + Copy, const N: usize>: Option<[T; N]> \
+// where \
+// String: From<T>;"
+pub const K<'a, T: 'a + Copy, const N: usize>: Option<[T; N]> = None
+where
+ String: From<T>;
+
+// @has generic_const_items/trait.Trait.html
+pub trait Trait<T: ?Sized> {
+ // @has - '//*[@id="associatedconstant.C"]' \
+ // "const C<'a>: &'a T \
+ // where \
+ // T: 'a + Eq"
+ const C<'a>: &'a T
+ where
+ T: 'a + Eq;
+}
+
+pub struct Implementor;
+
+// @has generic_const_items/struct.Implementor.html
+// @has - '//h3[@class="code-header"]' 'impl Trait<str> for Implementor'
+impl Trait<str> for Implementor {
+ // @has - '//*[@id="associatedconstant.C"]' \
+ // "const C<'a>: &'a str = \"C\" \
+ // where \
+ // str: 'a"
+ const C<'a>: &'a str = "C"
+ // In real code we could've left off this bound but adding it explicitly allows us to test if
+ // we render where-clauses on associated consts inside impl blocks correctly.
+ where
+ str: 'a;
+}