Function null_array_elision 

fn null_array_elision(a: &TypeAnnotation, b: &TypeAnnotation) -> bool

Returns true if two array types are compatible when either inner type is Null (i.e. an empty array [] is compatible with any typed array).