]>
Commit | Line | Data |
---|---|---|
416331ca XL |
1 | // edition:2018 |
2 | // ignore-tidy-linelength | |
29967ef6 | 3 | // ignore-compare-mode-chalk |
e1599b0c | 4 | |
6a06907d XL |
5 | // revisions: min_tait full_tait |
6 | #![feature(min_type_alias_impl_trait)] | |
7 | #![cfg_attr(full_tait, feature(type_alias_impl_trait))] | |
8 | //[full_tait]~^ WARN incomplete | |
416331ca XL |
9 | |
10 | pub trait Bar { | |
11 | type E: Copy; | |
12 | ||
13 | fn foo<T>() -> Self::E; | |
14 | } | |
15 | ||
16 | impl<S> Bar for S { | |
1b1a35ee XL |
17 | type E = impl std::marker::Copy; |
18 | //~^ ERROR the trait bound `impl Future: Copy` is not satisfied [E0277] | |
416331ca | 19 | fn foo<T>() -> Self::E { |
6a06907d | 20 | //~^ ERROR type parameter `T` is part of concrete type but not used in parameter list for the `impl Trait` type alias |
416331ca XL |
21 | async {} |
22 | } | |
23 | } | |
24 | ||
25 | fn main() {} |