summaryrefslogtreecommitdiffstats
path: root/src/test/rustdoc/rfc-2632-const-trait-impl.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/rustdoc/rfc-2632-const-trait-impl.rs')
-rw-r--r--src/test/rustdoc/rfc-2632-const-trait-impl.rs70
1 files changed, 0 insertions, 70 deletions
diff --git a/src/test/rustdoc/rfc-2632-const-trait-impl.rs b/src/test/rustdoc/rfc-2632-const-trait-impl.rs
deleted file mode 100644
index 7ed9d6729..000000000
--- a/src/test/rustdoc/rfc-2632-const-trait-impl.rs
+++ /dev/null
@@ -1,70 +0,0 @@
-// Test that we do not currently display `~const` in rustdoc
-// as that syntax is currently provisional; `~const Destruct` has
-// no effect on stable code so it should be hidden as well.
-//
-// To future blessers: make sure that `const_trait_impl` is
-// stabilized when changing `@!has` to `@has`, and please do
-// not remove this test.
-#![feature(const_trait_impl)]
-#![crate_name = "foo"]
-
-use std::marker::Destruct;
-
-pub struct S<T>(T);
-
-// @!has foo/trait.Tr.html '//pre[@class="rust trait"]/code/a[@class="trait"]' '~const'
-// @has - '//pre[@class="rust trait"]/code/a[@class="trait"]' 'Clone'
-// @!has - '//pre[@class="rust trait"]/code/span[@class="where"]' '~const'
-// @has - '//pre[@class="rust trait"]/code/span[@class="where"]' ': Clone'
-#[const_trait]
-pub trait Tr<T> {
- // @!has - '//section[@id="method.a"]/h4[@class="code-header"]' '~const'
- // @has - '//section[@id="method.a"]/h4[@class="code-header"]/a[@class="trait"]' 'Clone'
- // @!has - '//section[@id="method.a"]/h4[@class="code-header"]/span[@class="where"]' '~const'
- // @has - '//section[@id="method.a"]/h4[@class="code-header"]/span[@class="where fmt-newline"]' ': Clone'
- fn a<A: ~const Clone + ~const Destruct>()
- where
- Option<A>: ~const Clone + ~const Destruct,
- {
- }
-}
-
-// @has - '//section[@id="impl-Tr%3CT%3E-for-T"]' ''
-// @!has - '//section[@id="impl-Tr%3CT%3E-for-T"]/h3[@class="code-header"]' '~const'
-// @has - '//section[@id="impl-Tr%3CT%3E-for-T"]/h3[@class="code-header"]/a[@class="trait"]' 'Clone'
-// @!has - '//section[@id="impl-Tr%3CT%3E-for-T"]/h3[@class="code-header"]/span[@class="where"]' '~const'
-// @has - '//section[@id="impl-Tr%3CT%3E-for-T"]/h3[@class="code-header"]/span[@class="where fmt-newline"]' ': Clone'
-impl<T: ~const Clone + ~const Destruct> const Tr<T> for T
-where
- Option<T>: ~const Clone + ~const Destruct,
-{
- fn a<A: ~const Clone + ~const Destruct>()
- where
- Option<A>: ~const Clone + ~const Destruct,
- {
- }
-}
-
-// @!has foo/fn.foo.html '//pre[@class="rust fn"]/code/a[@class="trait"]' '~const'
-// @has - '//pre[@class="rust fn"]/code/a[@class="trait"]' 'Clone'
-// @!has - '//pre[@class="rust fn"]/code/span[@class="where fmt-newline"]' '~const'
-// @has - '//pre[@class="rust fn"]/code/span[@class="where fmt-newline"]' ': Clone'
-pub const fn foo<F: ~const Clone + ~const Destruct>()
-where
- Option<F>: ~const Clone + ~const Destruct,
-{
- F::a()
-}
-
-impl<T> S<T> {
- // @!has foo/struct.S.html '//section[@id="method.foo"]/h4[@class="code-header"]' '~const'
- // @has - '//section[@id="method.foo"]/h4[@class="code-header"]/a[@class="trait"]' 'Clone'
- // @!has - '//section[@id="method.foo"]/h4[@class="code-header"]/span[@class="where"]' '~const'
- // @has - '//section[@id="method.foo"]/h4[@class="code-header"]/span[@class="where fmt-newline"]' ': Clone'
- pub const fn foo<B, C: ~const Clone + ~const Destruct>()
- where
- B: ~const Clone + ~const Destruct,
- {
- B::a()
- }
-}