Record that a variable exists in scope with an empty type list. This prevents the variable from appearing unseen by the forward walker.
(&mut self, var_name: &str)
| 1867 | /// This prevents the variable from appearing unseen by the forward |
| 1868 | /// walker. |
| 1869 | pub fn set_empty(&mut self, var_name: &str) { |
| 1870 | self.locals.entry(atom(var_name)).or_default(); |
| 1871 | } |
| 1872 | |
| 1873 | /// Insert a variable's types from parameter seeding. |
| 1874 | pub fn seed(&mut self, var_name: &str, types: Vec<ResolvedType>) { |
no test coverage detected