I don't understand why this is necessary. Whatever caused it
was introduced into rustc recently, but I can't find the commit.