This should fail due to a mismatch
