diff options
| author | Michael Goulet <michael@errs.io> | 2025-03-24 23:19:18 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-03-25 16:44:59 +0000 |
| commit | f8df298d74ad4a385ca0b14e65ae154a9b8fa5c5 (patch) | |
| tree | bf0f6bc685521a62d03fce16bfc9c81a2d604034 /tests/ui/impl-trait | |
| parent | 2bf0c2df147e98ead4297ccc6a62b2f7f6c48c3e (diff) | |
| download | rust-f8df298d74ad4a385ca0b14e65ae154a9b8fa5c5.tar.gz rust-f8df298d74ad4a385ca0b14e65ae154a9b8fa5c5.zip | |
Allow defining opaques in statics and consts
Diffstat (limited to 'tests/ui/impl-trait')
| -rw-r--r-- | tests/ui/impl-trait/define-via-const.rs | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/tests/ui/impl-trait/define-via-const.rs b/tests/ui/impl-trait/define-via-const.rs new file mode 100644 index 00000000000..a4b9123654c --- /dev/null +++ b/tests/ui/impl-trait/define-via-const.rs @@ -0,0 +1,12 @@ +//@ check-pass + +#![feature(type_alias_impl_trait)] + +type Closure = impl Fn(u32) -> u32; + +#[define_opaque(Closure)] +const ADDER: Closure = |x| x + 1; + +fn main() { + let z = (ADDER)(1); +} |