error[E0282]: type annotations needed --> $DIR/issue-105608.rs:13:22 | LL | Combination::<0>.and::<_>().and::<_>(); | ^^^ cannot infer type of the type parameter `M` declared on the associated function `and` | help: consider specifying the generic argument | LL | Combination::<0>.and::<_>().and::<_>(); | ~~~~~ error: aborting due to previous error For more information about this error, try `rustc --explain E0282`.