ychenfo
/
nac3
forked from M-Labs/nac3
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

core: remove pub & add From<TypeVarId> for u32

This commit is contained in:
lyken 2024-06-13 15:43:46 +08:00
parent f523e26227
commit aa94e0c8a4
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
nac3core/src/typecheck/typedef/mod.rs
View File

@ -30,7 +30,13 @@ pub type IndexMapping<K, V = Type> = IndexMap<K, V>;
/// ID of a Python type variable. Specific to `nac3core`.
#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
pub struct TypeVarId(pub u32);
pub struct TypeVarId(u32);
impl From<TypeVarId> for u32 {
fn from(value: TypeVarId) -> Self {
value.0
}
}
impl fmt::Display for TypeVarId {
// NOTE: Must output the string of the ID value. Certain unit tests rely on string comparisons.