store_index is now redundant

This commit is contained in:
Ayaz Hafiz 2022-10-24 18:21:05 -05:00
parent bff3d534f6
commit 084393c326
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
2 changed files with 6 additions and 23 deletions

View file

@ -610,18 +610,6 @@ impl Constraints {
Constraint::Store(type_index, variable, string_index, line_number)
}
pub fn store_index(
&mut self,
type_index: TypeOrVar,
variable: Variable,
filename: &'static str,
line_number: u32,
) -> Constraint {
let string_index = Index::push_new(&mut self.strings, filename);
Constraint::Store(type_index, variable, string_index, line_number)
}
pub fn exhaustive(
&mut self,
real_var: Variable,