M-Labs/nac3
M-Labs
/
nac3
8
0
Fork 8
Code Issues 100 Pull Requests 20 Releases Wiki Activity

core: refactor to use TypeVarId and TypeVar #414

Merged
sb10q merged 1 commits from type-var-id into master 2024-08-17 17:37:21 +08:00
Conversation 1 Commits 1 Files Changed 1 +1 -1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 6979843431 - Show all commits

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

@ -60,7 +60,7 @@ pub type VarMap = IndexMapping<TypeVarId>;
/// Build a [`VarMap`] from an iterator of [`TypeVar`] /// Build a [`VarMap`] from an iterator of [`TypeVar`]
/// ///
/// The resulting [`VarMap`] wil have the same order as the input iterator. /// The resulting [`VarMap`] will have the same order as the input iterator.
pub fn into_var_map<I>(vars: I) -> VarMap pub fn into_var_map<I>(vars: I) -> VarMap
where where
I: IntoIterator<Item = TypeVar>, I: IntoIterator<Item = TypeVar>,