rust/tests/ui/renamed_builtin_attr.rs