fix type of Array.sequence() for #6804

eclipse-archived · Feb 9, 2017 · cf74cc7 · cf74cc7
1 parent 2399521
commit cf74cc7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/language/runtime/ceylon/language/Array.java b/language/runtime/ceylon/language/Array.java
@@ -1970,7 +1970,7 @@ else if (step == 1) {
 
     @SuppressWarnings("unchecked")
     @Override 
-    @TypeInfo("ceylon.language::Sequential<Element>")
+    @TypeInfo("ceylon.language::Sequence<Element>|ceylon.language::Empty")
     public Sequential<? extends Element> sequence() {
         if (getEmpty()) {
             return (Sequential<? extends Element>) empty_.get_();