// revisions: min_tait full_tait
#![feature(min_type_alias_impl_trait)]
-#![cfg_attr(full_tait, feature(impl_trait_in_bindings, type_alias_impl_trait))]
+#![cfg_attr(full_tait, feature(type_alias_impl_trait))]
//[full_tait]~^ WARN incomplete
-//[full_tait]~| WARN incomplete
use std::future::Future;
pub struct Task<F: Future>(F);
type F = impl Future;
// Check that statics are inhabited computes they layout.
- static POOL: Task<F> = Task::new(); //[min_tait]~ ERROR not permitted here
+ static POOL: Task<F> = Task::new();
Task::spawn(&POOL, || cb()); //[min_tait]~ ERROR type alias impl trait is not permitted here
- //[min_tait]~^ ERROR concrete type differs from previous
}