fn collect_expr(&mut self, expr_id: ExprId, body: &Arc<Body>, infer: &InferenceResult) {
        let expr = &body[expr_id];

        // TODO: Collect used external `TypeInfo` for the type dispatch table

        // Recurse further
        expr.walk_child_exprs(|expr_id| self.collect_expr(expr_id, body, infer))
    }
/// Collects unique `TypeInfo` from the specified expression and its sub-expressions.
Collects unique `TypeInfo` from the specified expression and its sub-expressions.
Collects unique ` TypeInfo ` from the specified expression and its sub - expressions .
fn collect_expr(&mut self, expr_id: ExprId, body: &Arc<Body>, infer: &InferenceResult) {
        let expr = &body[expr_id];
        // TODO: Collect used external `TypeInfo` for the type dispatch table
        // Recurse further
        expr.walk_child_exprs(|expr_id| self.collect_expr(expr_id, body, infer))
    }
fn collect_expr ( & mut self , expr_id : ExprId , body : & Arc < Body > , infer : & InferenceResult ) { let expr = & body [ expr_id ] ; // TODO: Collect used external `TypeInfo` for the type dispatch table // Recurse further expr . walk_child_exprs ( | expr_id | self . collect_expr ( expr_id , body , infer ) ) }
Collects unique `TypeInfo` from the specified expression and its sub-expressions.
Collects unique ` TypeInfo ` from the specified expression and its sub - expressions .
&mut self
expr_id
ExprId
body
&Arc<Body>
infer
&InferenceResult
&mut self
expr_id
ExprId
body
&Arc<Body>
infer
&InferenceResult