1 error[E0632]: cannot provide explicit type parameters when `impl Trait` is used in argument position.
2 --> $DIR/synthetic-param.rs:20:5
7 error[E0632]: cannot provide explicit type parameters when `impl Trait` is used in argument position.
8 --> $DIR/synthetic-param.rs:23:5
10 LL | Foo::func::<u8>(42);
13 error[E0632]: cannot provide explicit type parameters when `impl Trait` is used in argument position.
14 --> $DIR/synthetic-param.rs:26:5
16 LL | Bar::<i8>::func::<u8>(42);
17 | ^^^^^^^^^^^^^^^^^^^^^
19 error: aborting due to 3 previous errors