Add tests that fail with mutable types