blob: e5c2fccb2b5dbabedfff2bc4a51670fa6fd9a143 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#![feature(trait_alias)] // Enabled to reduce stderr output, but can be triggered even if disabled.
trait Trait {}
trait WithType {
type Ctx;
}
trait Alias<T> = where T: Trait;
impl<T> WithType for T {
type Ctx = dyn Alias<T>;
//~^ ERROR at least one trait is required for an object type [E0224]
}
fn main() {}
|
