Issue 8578 is fixed in rust