about summary refs log tree commit diff
path: root/tests/rustdoc/inline_cross/auxiliary/const-effect-param.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/rustdoc/inline_cross/auxiliary/const-effect-param.rs')
-rw-r--r--tests/rustdoc/inline_cross/auxiliary/const-effect-param.rs16
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/rustdoc/inline_cross/auxiliary/const-effect-param.rs b/tests/rustdoc/inline_cross/auxiliary/const-effect-param.rs
new file mode 100644
index 00000000000..b0c21ffaeb9
--- /dev/null
+++ b/tests/rustdoc/inline_cross/auxiliary/const-effect-param.rs
@@ -0,0 +1,16 @@
+#![feature(effects, const_trait_impl)]
+
+#[const_trait]
+pub trait Resource {}
+
+pub const fn load<R: ~const Resource>() -> i32 {
+    0
+}
+
+pub const fn lock<R: Resource>() {}
+
+#[allow(non_upper_case_globals)]
+pub trait Clash<const host: u64> {}
+
+#[allow(non_upper_case_globals)]
+pub const fn clash<T: Clash<host>, const host: u64>() {}