This reverts commit 3b22c21dd8, reversing changes made to 5f292eea6d.
3b22c21dd8
5f292eea6d
#[rustc_error]