about summary refs log tree commit diff
path: root/tests/ui/traits/const-traits/const-fn-trait-bound-issue-104314.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/traits/const-traits/const-fn-trait-bound-issue-104314.rs')
-rw-r--r--tests/ui/traits/const-traits/const-fn-trait-bound-issue-104314.rs13
1 files changed, 13 insertions, 0 deletions
diff --git a/tests/ui/traits/const-traits/const-fn-trait-bound-issue-104314.rs b/tests/ui/traits/const-traits/const-fn-trait-bound-issue-104314.rs
new file mode 100644
index 00000000000..09c89c9cecd
--- /dev/null
+++ b/tests/ui/traits/const-traits/const-fn-trait-bound-issue-104314.rs
@@ -0,0 +1,13 @@
+//@ check-pass
+
+#![feature(const_trait_impl, const_destruct, const_clone)]
+
+use std::marker::Destruct;
+
+const fn f<T, F: [const] Fn(&T) -> T + [const] Destruct>(_: F) {}
+
+const fn g<T: [const] Clone>() {
+    f(<T as Clone>::clone);
+}
+
+fn main() {}