(
mut tc: VarlessTypeChecker<Variant>,
expr: &Expression,
)
| 157 | } |
| 158 | |
| 159 | fn tc_expr( |
| 160 | mut tc: VarlessTypeChecker<Variant>, |
| 161 | expr: &Expression, |
| 162 | ) -> Result<(TcKey, TypeTable<Variant>), TcErr<Variant>> { |
| 163 | let key = _tc_expr(&mut tc, expr)?; |
| 164 | let tt = tc.type_check()?; |
| 165 | Ok((key, tt)) |
| 166 | } |
| 167 | |
| 168 | fn tc_expr_prelim( |
| 169 | mut tc: VarlessTypeChecker<Variant>, |
no test coverage detected