error[E0284]: type annotations needed --> $DIR/issue-71584.rs:4:15 | LL | d = d % n.into(); | - ^^^^ | | | type must be known at this point | = note: cannot satisfy `>::Output == u64` help: try using a fully qualified path to specify the expected types | LL | d = d % >::into(n); | +++++++++++++++++++++++ ~ error: aborting due to previous error For more information about this error, try `rustc --explain E0284`.