1
Fork 0

interpret: rename ReadExternStatic → ExternStatic

This commit is contained in:
Ralf Jung 2024-02-10 15:41:08 +01:00
parent 0809f78c19
commit d56f3b6a5d
8 changed files with 49 additions and 8 deletions

View file

@ -466,7 +466,7 @@ pub enum UnsupportedOpInfo {
/// Accessing thread local statics
ThreadLocalStatic(DefId),
/// Accessing an unsupported extern static.
ReadExternStatic(DefId),
ExternStatic(DefId),
}
/// Error information for when the program exhausted the resources granted to it