diff options
| author | León Orell Valerian Liehr <me@fmease.dev> | 2023-07-10 03:10:24 +0200 |
|---|---|---|
| committer | León Orell Valerian Liehr <me@fmease.dev> | 2023-07-28 22:23:21 +0200 |
| commit | 203d4006688521b0e4e193a18b37d8fae7758d46 (patch) | |
| tree | 97b99183c3b23bc4b43096c77b50afae26a3ce4c /tests/rustdoc/generic-const-items.rs | |
| parent | 55aba32ac5a1b81ad815d633304ba5e94b2ef7f5 (diff) | |
| download | rust-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.rs | 38 |
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; +} |
