Add tests for ArraySpec resolve method