added tests for return value validation if the type hint contains short array syntax