Remove the workaround for Rust issue 10683.