]> git.lizzy.rs Git - rust.git/blob - src/test/ui/type-alias-impl-trait/issue-53096.rs
Loop over all opaque types instead of looking at just the first one with the same...
[rust.git] / src / test / ui / type-alias-impl-trait / issue-53096.rs
1 #![feature(const_impl_trait, const_fn_fn_ptr_basics, rustc_attrs)]
2 // revisions: min_tait full_tait
3 #![feature(min_type_alias_impl_trait)]
4 #![cfg_attr(full_tait, feature(impl_trait_in_bindings, type_alias_impl_trait))]
5 //[full_tait]~^ WARN incomplete
6 //[full_tait]~| WARN incomplete
7
8 type Foo = impl Fn() -> usize;
9 const fn bar() -> Foo { || 0usize }
10 const BAZR: Foo = bar();
11 //[min_tait]~^ ERROR not permitted here
12
13 #[rustc_error]
14 fn main() {} //[full_tait]~ ERROR