error[E0282]: type annotations needed --> $DIR/issue-6458.rs:9:4 | LL | foo(TypeWithState(marker::PhantomData)); | ^^^ cannot infer type for type parameter `State` declared on the function `foo` | help: type parameter declared here --> $DIR/issue-6458.rs:6:12 | LL | pub fn foo(_: TypeWithState) {} | ^^^^^ error: aborting due to previous error For more information about this error, try `rustc --explain E0282`.