Same-element requirements (a generic requirement that states that all pack elements are equivalent to some specific concrete type) are what's not currently supported in the implementation, which is not the same thing as this code. Regardless, I agree that this is a compiler bug.