1
Fork 0

Rollup merge of #120883 - RalfJung:extern-static-err, r=oli-obk

interpret: rename ReadExternStatic → ExternStatic

This error shows up for reads and writes, so `ReadExternStatic` is misleading.
This commit is contained in:
Matthias Krüger 2024-02-11 01:37:56 +01:00 committed by GitHub
commit 09bbcd6667
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
8 changed files with 49 additions and 8 deletions

View file

@ -470,7 +470,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