mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add INTEGER and FLOAT flags for type variables

Browse Source
This commit is contained in:
Ryo Yoshida 2023-01-05 20:19:46 +09:00
parent 1bfc732b78
commit b183612610
No known key found for this signature in database
GPG Key ID: E25698A930586171
1 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
crates/hir-ty/src/infer/unify.rs
View File

@ -132,6 +132,8 @@ bitflags::bitflags! {
#[derive(Default)]
pub(crate) struct TypeVariableFlags: u8 {
const DIVERGING = 1 << 0;
const INTEGER = 1 << 1;
const FLOAT = 1 << 2;
}
}
@ -258,8 +260,14 @@ impl<'a> InferenceTable<'a> {
// Chalk might have created some type variables for its own purposes that we don't know about...
self.extend_type_variable_table(var.index() as usize);
assert_eq!(var.index() as usize, self.type_variable_table.len() - 1);
let flags = self.type_variable_table.get_mut(var.index() as usize).unwrap();
if diverging {
self.type_variable_table[var.index() as usize] |= TypeVariableFlags::DIVERGING;
*flags |= TypeVariableFlags::DIVERGING;
}
if matches!(kind, TyVariableKind::Integer) {
*flags |= TypeVariableFlags::INTEGER;
} else if matches!(kind, TyVariableKind::Float) {
*flags |= TypeVariableFlags::FLOAT;
}
var.to_ty_with_kind(Interner, kind)
}