tests/sav/base_upcast_alt1.sav

   1 alt/base_upcast_alt1.nit:26,20--21: Type error: expected A[Int], got A[Bool]
   2 alt/base_upcast_alt1.nit:28,20--21: Type error: expected A[Int], got B[Bool]
   3 alt/base_upcast_alt1.nit:33,20--21: Type error: expected A[Bool], got A[Int]
   4 alt/base_upcast_alt1.nit:35,20--21: Type error: expected A[Bool], got B[Int]
   5 alt/base_upcast_alt1.nit:37,20--21: Type error: expected A[Bool], got C[Int]
   6 alt/base_upcast_alt1.nit:38,20--21: Type error: expected A[Bool], got C[Bool]
   7 alt/base_upcast_alt1.nit:39,20: Type error: expected A[Bool], got D
   8 alt/base_upcast_alt1.nit:41,20--21: Type error: expected B[Int], got A[Int]
   9 alt/base_upcast_alt1.nit:42,20--21: Type error: expected B[Int], got A[Bool]
  10 alt/base_upcast_alt1.nit:44,20--21: Type error: expected B[Int], got B[Bool]
  11 alt/base_upcast_alt1.nit:49,20--21: Type error: expected B[Bool], got A[Int]
  12 alt/base_upcast_alt1.nit:50,20--21: Type error: expected B[Bool], got A[Bool]
  13 alt/base_upcast_alt1.nit:51,20--21: Type error: expected B[Bool], got B[Int]
  14 alt/base_upcast_alt1.nit:53,20--21: Type error: expected B[Bool], got C[Int]
  15 alt/base_upcast_alt1.nit:54,20--21: Type error: expected B[Bool], got C[Bool]
  16 alt/base_upcast_alt1.nit:55,20: Type error: expected B[Bool], got D
  17 alt/base_upcast_alt1.nit:57,20--21: Type error: expected C[Bool], got A[Int]
  18 alt/base_upcast_alt1.nit:58,20--21: Type error: expected C[Int], got A[Bool]
  19 alt/base_upcast_alt1.nit:59,20--21: Type error: expected C[Int], got B[Int]
  20 alt/base_upcast_alt1.nit:60,20--21: Type error: expected C[Int], got B[Bool]
  21 alt/base_upcast_alt1.nit:62,20--21: Type error: expected C[Int], got C[Bool]
  22 alt/base_upcast_alt1.nit:63,20: Type error: expected C[Int], got D
  23 alt/base_upcast_alt1.nit:65,20--21: Type error: expected C[Bool], got A[Int]
  24 alt/base_upcast_alt1.nit:66,20--21: Type error: expected C[Bool], got A[Bool]
  25 alt/base_upcast_alt1.nit:67,20--21: Type error: expected C[Bool], got B[Int]
  26 alt/base_upcast_alt1.nit:68,20--21: Type error: expected C[Bool], got B[Bool]
  27 alt/base_upcast_alt1.nit:69,20--21: Type error: expected C[Bool], got C[Int]
  28 alt/base_upcast_alt1.nit:73,19--20: Type error: expected D, got A[Int]
  29 alt/base_upcast_alt1.nit:74,19--20: Type error: expected D, got A[Bool]
  30 alt/base_upcast_alt1.nit:75,19--20: Type error: expected D, got B[Int]
  31 alt/base_upcast_alt1.nit:76,19--20: Type error: expected D, got B[Bool]
  32 alt/base_upcast_alt1.nit:77,19--20: Type error: expected D, got C[Int]
  33 alt/base_upcast_alt1.nit:78,19--20: Type error: expected D, got C[Bool]