pub fn check_variable_initialization<T: ReadFromFS, A: ASTImplementation>(
    (variable_declared_type, variable_declared_pos): (TypeId, SpanWithSource),
    (expression_type, expression_declared_pos): (TypeId, SpanWithSource),
    environment: &mut Environment<'_>,
    checking_data: &mut CheckingData<'_, T, A>
) -> bool
Expand description

Returns whether valid