GL_EXT_texture_shadow_lod provides various missing overloads for sampling sampler2DArrayShadows. Their absence in GLSL is baffling and an awkward constraint in e.g. cascading shadow map implementations. In theory you can work around this...