Suppress warnings about unnecessary casts
As far as I can see these casts are necessary until we require Rust 1.48.
Please consider to merge !474 (merged) as an alternative solution.
Edited by Sven Neumann
As far as I can see these casts are necessary until we require Rust 1.48.
Please consider to merge !474 (merged) as an alternative solution.