ran into rustc issure 5708