adapt PyExact

Author: youknowone

vm/src/builtins/str.rs

@@ -16,7 +16,7 @@ use crate::{
         AsMapping, AsSequence, Comparable, Constructor, Hashable, IterNext, IterNextIterable,
         Iterable, PyComparisonOp, Unconstructible,
     },
-    AsObject, Context, Py, PyObject, PyObjectRef, PyPayload, PyRef, PyRefExact, PyResult,
+    AsObject, Context, Py, PyExact, PyObject, PyObjectRef, PyPayload, PyRef, PyRefExact, PyResult,
     TryFromBorrowedObject, VirtualMachine,
 };
 use ascii::{AsciiStr, AsciiString};
@@ -1534,6 +1534,12 @@ impl AsRef<str> for PyRefExact<PyStr> {
     }
 }
 
+impl AsRef<str> for PyExact<PyStr> {
+    fn as_ref(&self) -> &str {
+        self.as_str()
+    }
+}
+
 #[cfg(test)]
 mod tests {
     use super::*;

vm/src/intern.rs

@@ -2,7 +2,7 @@ use crate::{
     builtins::{PyStr, PyTypeRef},
     common::lock::PyRwLock,
     convert::ToPyObject,
-    Py, PyObject, PyObjectRef, PyRef, PyRefExact,
+    Py, PyExact, PyObject, PyObjectRef, PyRef, PyRefExact,
 };
 use std::{
     borrow::{Borrow, ToOwned},
@@ -199,7 +199,7 @@ impl std::fmt::Display for PyStrInterned {
 mod sealed {
     use crate::{
         builtins::PyStr,
-        object::{Py, PyRefExact},
+        object::{Py, PyExact, PyRefExact},
     };
 
     pub trait SealedInternable {}
@@ -211,7 +211,7 @@ mod sealed {
     pub trait SealedMaybeInterned {}
 
     impl SealedMaybeInterned for str {}
-    impl SealedMaybeInterned for PyRefExact<PyStr> {}
+    impl SealedMaybeInterned for PyExact<PyStr> {}
     impl SealedMaybeInterned for Py<PyStr> {}
 }
 
@@ -259,6 +259,13 @@ impl MaybeInterned for str {
     }
 }
 
+impl MaybeInterned for PyExact<PyStr> {
+    #[inline(always)]
+    fn as_interned(&self) -> Option<&'static PyStrInterned> {
+        None
+    }
+}
+
 impl MaybeInterned for Py<PyStr> {
     #[inline(always)]
     fn as_interned(&self) -> Option<&'static PyStrInterned> {