diff options
| author | Michael Goulet <michael@errs.io> | 2024-10-22 00:03:09 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-10-22 00:03:09 +0000 |
| commit | e91267f3f094a6f5d16aef0abb864fca4bc8c9f4 (patch) | |
| tree | ba5ce9ae085572e299066b12a06da711416eea87 /tests/ui/traits/const-traits/function-pointer-does-not-require-const.rs | |
| parent | edbd9398dcc0e3b6ffe0dd0cd4578d37d1d36974 (diff) | |
| download | rust-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.rs | 15 |
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() {} |
