mirror of
https://github.com/rust-lang/rust.git
synced 2025-04-28 02:57:37 +00:00
22 lines
404 B
Rust
22 lines
404 B
Rust
//@ edition:2018
|
|
//@compile-flags: --diagnostic-width=300
|
|
|
|
#![feature(impl_trait_in_assoc_type)]
|
|
|
|
pub trait Bar {
|
|
type E: Copy;
|
|
|
|
fn foo<T>() -> Self::E;
|
|
}
|
|
|
|
impl<S> Bar for S {
|
|
type E = impl std::marker::Copy;
|
|
fn foo<T>() -> Self::E {
|
|
//~^ ERROR : Copy` is not satisfied [E0277]
|
|
//~| ERROR type parameter `T` is part of concrete type
|
|
async {}
|
|
}
|
|
}
|
|
|
|
fn main() {}
|