diff --git a/src/test/codegen/issue-53080.rs b/src/test/codegen/issue-13018.rs
similarity index 100%
rename from src/test/codegen/issue-53080.rs
rename to src/test/codegen/issue-13018.rs