Error code E0666
impl Trait
types cannot appear nested in the generic arguments of other
impl Trait
types.
Erroneous code example:
#![allow(unused)] fn main() { trait MyGenericTrait<T> {} trait MyInnerTrait {} fn foo( bar: impl MyGenericTrait<impl MyInnerTrait>, // error! ) {} }
Type parameters for impl Trait
types must be explicitly defined as named
generic parameters:
#![allow(unused)] fn main() { trait MyGenericTrait<T> {} trait MyInnerTrait {} fn foo<T: MyInnerTrait>( bar: impl MyGenericTrait<T>, // ok! ) {} }