placate rustc