the lazier thing

This commit is contained in:
Folkert 2022-05-27 16:33:09 +02:00 committed by Ayaz Hafiz
parent 2b0bfbb590
commit fc891c0956
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
4 changed files with 121 additions and 47 deletions

View file

@ -189,7 +189,7 @@ impl IntroducedVariables {
self.inferred.push(var);
}
fn insert_lambda_set(&mut self, var: Variable) {
pub fn insert_lambda_set(&mut self, var: Variable) {
self.debug_assert_not_already_present(var);
self.lambda_sets.push(var);
}