Unclear type error

[JLedelay]

The following input:

public class C {
    void m() {
        //@ ghost bag<int>{} + seq<int>{};
        //@ ghost bag<int>{} - 3;
        //@ ghost [t: int] + 1;
        //@ ghost 3 + {t: int};
    }
}

Gives the following output:

======================================
At Test.java:3:19:
--------------------------------------
    1  public class C {
    2      void m() {
                        [-----------------------
    3          //@ ghost bag<int>{} + seq<int>{};
                         -----------------------]
    4          //@ ghost bag<int>{} - 3;
    5          //@ ghost [t: int] + 1;
--------------------------------------
Expected the type of this expression to be Expected both operands to be numeric, a process, a sequence, set, or bag; or a pointer and integer, but got bag<int> and seq<int>., but got any.
======================================

======================================
At Test.java:4:19:
--------------------------------------
    2      void m() {
    3          //@ ghost bag<int>{} + seq<int>{};
                        [--------------
    4          //@ ghost bag<int>{} - 3;
                         --------------]
    5          //@ ghost [t: int] + 1;
    6          //@ ghost 3 + {t: int};
--------------------------------------
Expected the type of this expression to be Expected both operands to be numeric, a set or a bag; or a pointer and integer, but got bag<int> and {3..4}., but got any.
======================================

======================================
At Test.java:5:19:
--------------------------------------
    3          //@ ghost bag<int>{} + seq<int>{};
    4          //@ ghost bag<int>{} - 3;
                        [------------
    5          //@ ghost [t: int] + 1;
                         ------------]
    6          //@ ghost 3 + {t: int};
    7      }
--------------------------------------
Expected the type of this expression to be Expected both operands to be numeric, a process, a sequence, set, or bag; or a pointer and integer, but got seq<int> and {1..2}., but got any.
======================================

======================================
At Test.java:6:19:
--------------------------------------
    4          //@ ghost bag<int>{} - 3;
    5          //@ ghost [t: int] + 1;
                        [------------
    6          //@ ghost 3 + {t: int};
                         ------------]
    7      }
    8  }
--------------------------------------
Expected the type of this expression to be Expected both operands to be numeric, a process, a sequence, set, or bag; or a pointer and integer, but got {3..4} and set<int>., but got rational.
======================================

Looks like two error messages are being combined here.