Function bind_variables_of_let_assignment 

pub fn bind_variables_of_let_assignment(
    root: ExprId,
    arena: &mut ExprArena,
    _types: &TypeTable,
)

Arena version: assigns local VariableIds to Let nodes and propagates them to matching Identifier use-sites.