Currently the tuples can accept anything, but this is problematic and can lead to subtle issues with ill-formed tests as the one described in #2625.
