fix Issue 13775 - Broken explicit casting of dynamic array slices of known size to static array of different type

Support reinterpret-cast from a CT-known boundaries slice expression that can be implicitly typed as `T[n]` to another static array type `U[m]`, iff their sizes are same (`T[n].sizeof == U[m].sizeof`).