a workaround for mozilla/rust#11882.