Remove TODOs
This commit is contained in:
parent
35bdd542f1
commit
6748395d9e
|
@ -56,7 +56,6 @@ impl WithTerm for NeedsTerm {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
// TODO: Remove mut?
|
|
||||||
fn get_name(&self, name_str: &str) -> Name {
|
fn get_name(&self, name_str: &str) -> Name {
|
||||||
let mut names = self.names.borrow_mut();
|
let mut names = self.names.borrow_mut();
|
||||||
if let Some(unique) = names.get(name_str) {
|
if let Some(unique) = names.get(name_str) {
|
||||||
|
|
|
@ -60,5 +60,5 @@ fn build_named__with_nested_lam() {
|
||||||
.with_lambda("i_1")
|
.with_lambda("i_1")
|
||||||
.with_constant_int(1)
|
.with_constant_int(1)
|
||||||
.build_named();
|
.build_named();
|
||||||
assert_eq!(expected, actual); // TODO: This should fail
|
assert_eq!(expected, actual);
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue