2019-06-24 10:15:07 +02:00
|
|
|
// ignore-tidy-linelength
|
2020-10-04 02:45:12 +02:00
|
|
|
// ignore-compare-mode-chalk
|
2021-03-12 11:53:51 +01:00
|
|
|
// revisions: min_tait full_tait
|
|
|
|
#![feature(min_type_alias_impl_trait)]
|
|
|
|
#![cfg_attr(full_tait, feature(type_alias_impl_trait))]
|
|
|
|
//[full_tait]~^ WARN incomplete
|
2019-06-24 10:15:07 +02:00
|
|
|
|
|
|
|
pub trait Bar {
|
|
|
|
type E: Copy;
|
|
|
|
|
|
|
|
fn foo<T>() -> Self::E;
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<S> Bar for S {
|
2019-07-30 01:11:58 +02:00
|
|
|
type E = impl Copy;
|
2019-06-24 10:15:07 +02:00
|
|
|
|
|
|
|
fn foo<T>() -> Self::E {
|
2019-08-01 01:41:54 +02:00
|
|
|
//~^ ERROR type parameter `T` is part of concrete type but not used in parameter list for the `impl Trait` type alias
|
2019-06-24 10:15:07 +02:00
|
|
|
|| ()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {}
|