Fix merge conflict about `[]` coercions in new tests