summary refs log tree commit diff
path: root/tests/ui/traits/const-traits/function-pointer-does-not-require-const.rs
diff options
context:
space:
mode:
authorMichael Goulet <michael@errs.io>2024-10-22 00:03:09 +0000
committerMichael Goulet <michael@errs.io>2024-10-22 00:03:09 +0000
commite91267f3f094a6f5d16aef0abb864fca4bc8c9f4 (patch)
treeba5ce9ae085572e299066b12a06da711416eea87 /tests/ui/traits/const-traits/function-pointer-does-not-require-const.rs
parentedbd9398dcc0e3b6ffe0dd0cd4578d37d1d36974 (diff)
downloadrust-e91267f3f094a6f5d16aef0abb864fca4bc8c9f4.tar.gz
rust-e91267f3f094a6f5d16aef0abb864fca4bc8c9f4.zip
Move tests
Diffstat (limited to 'tests/ui/traits/const-traits/function-pointer-does-not-require-const.rs')
-rw-r--r--tests/ui/traits/const-traits/function-pointer-does-not-require-const.rs15
1 files changed, 15 insertions, 0 deletions
diff --git a/tests/ui/traits/const-traits/function-pointer-does-not-require-const.rs b/tests/ui/traits/const-traits/function-pointer-does-not-require-const.rs
new file mode 100644
index 00000000000..61826e9977e
--- /dev/null
+++ b/tests/ui/traits/const-traits/function-pointer-does-not-require-const.rs
@@ -0,0 +1,15 @@
+//@ check-pass
+#![feature(const_trait_impl)]
+
+#[const_trait]
+pub trait Test {}
+
+impl Test for () {}
+
+pub const fn test<T: ~const Test>() {}
+
+pub const fn min_by_i32() -> fn() {
+    test::<()>
+}
+
+fn main() {}