Function is_impl_trait 

fn is_impl_trait(param: &GenericParam<'_>) -> bool

Synthetic type-parameters are inserted after normal ones. In order for normal parameters to be able to refer to synthetic ones, scans them first.