about summary refs log tree commit diff
path: root/tests/rustdoc/generic-const-items.rs
diff options
context:
space:
mode:
authorLeón Orell Valerian Liehr <me@fmease.dev>2023-07-10 03:10:24 +0200
committerLeón Orell Valerian Liehr <me@fmease.dev>2023-07-28 22:23:21 +0200
commit203d4006688521b0e4e193a18b37d8fae7758d46 (patch)
tree97b99183c3b23bc4b43096c77b50afae26a3ce4c /tests/rustdoc/generic-const-items.rs
parent55aba32ac5a1b81ad815d633304ba5e94b2ef7f5 (diff)
downloadrust-203d4006688521b0e4e193a18b37d8fae7758d46.tar.gz
rust-203d4006688521b0e4e193a18b37d8fae7758d46.zip
Add rustdoc tests for generic const items
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 00000000000..e2c6a027afa
--- /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;
+}