Function loa::semantics::format_invalid_type_assignability

pub fn format_invalid_type_assignability(
    f: &mut Formatter, 
    indentation: usize, 
    assignee: &Type, 
    assigned: &Type, 
    because: &Vec<TypeAssignability>, 
    invariant: bool
) -> Result