use std::fmt::Debug; use std::option; fn parametrized_type_is_allowed() -> Option { Some(5i32) } fn path_parametrized_type_is_allowed() -> option::Option { Some(5i32) } fn projection_is_disallowed(x: impl Iterator) -> ::Item { //~^ ERROR `impl Trait` is not allowed in path parameters //~| ERROR `impl Trait` is not allowed in path parameters x.next().unwrap() } fn projection_with_named_trait_is_disallowed(x: impl Iterator) -> ::Item //~^ ERROR `impl Trait` is not allowed in path parameters { x.next().unwrap() } fn projection_with_named_trait_inside_path_is_disallowed() -> <::std::ops::Range as Iterator>::Item //~^ ERROR `impl Trait` is not allowed in path parameters { (1i32..100).next().unwrap() } fn projection_from_impl_trait_inside_dyn_trait_is_disallowed() -> as Iterator>::Item //~^ ERROR `impl Trait` is not allowed in path parameters { panic!() } fn main() {}