Function needs_array_length 

fn needs_array_length(ty: Handle<Type>, arena: &UniqueArena<Type>) -> bool