tests/sav/base_isa3.res

   1 base_isa3.nit:59,8--14: Warning: expression is already a `A` since it is a `B`.
   2 base_isa3.nit:60,8--14: Warning: expression is already a `B`.
   3 base_isa3.nit:64,8--14: Warning: expression is already a `A` since it is a `C`.
   4 base_isa3.nit:66,8--14: Warning: expression is already a `C`.
   5 base_isa3.nit:69,8--14: Warning: expression is already a `A` since it is a `D`.
   6 base_isa3.nit:71,8--14: Warning: expression is already a `C` since it is a `D`.
   7 base_isa3.nit:72,8--14: Warning: expression is already a `D`.
   8 base_isa3.nit:73,8--14: Warning: expression is already a `E` since it is a `D`.
   9 base_isa3.nit:74,8--14: Warning: expression is already a `E` since it is a `D`.
  10 base_isa3.nit:75,8--14: Warning: expression is already a `E` since it is a `D`.
  11 base_isa3.nit:76,8--14: Warning: expression is already a `E` since it is a `D`.
  12 base_isa3.nit:79,8--14: Warning: expression is already a `A` since it is a `E`.
  13 base_isa3.nit:81,8--14: Warning: expression is already a `E`.
  14 base_isa3.nit:84,8--14: Warning: expression is already a `A` since it is a `F`.
  15 base_isa3.nit:85,8--14: Warning: expression is already a `E` since it is a `F`.
  16 base_isa3.nit:86,8--14: Warning: expression is already a `F`.
  17 base_isa3.nit:87,8--14: Warning: expression is already a `G` since it is a `F`.
  18 base_isa3.nit:91,8--14: Warning: expression is already a `A` since it is a `G`.
  19 base_isa3.nit:93,8--14: Warning: expression is already a `G`.
  20 true