base_isa_gen8.nit:49,8--18: Warning: expression is already a `A[X]`.
base_isa_gen8.nit:50,8--18: Warning: expression is already a `A[Y]`.
base_isa_gen8.nit:51,8--18: Warning: expression is already a `A[Z]`.
base_isa_gen8.nit:53,8--22: Warning: expression is already a `B[Object]` since it is a `B[X]`.
base_isa_gen8.nit:55,8--22: Warning: expression is already a `C[X, X]`.
base_isa_gen8.nit:56,8--22: Warning: expression is already a `C[X, Y]`.
base_isa_gen8.nit:57,8--22: Warning: expression is already a `C[X, Z]`.
base_isa_gen8.nit:59,8--23: Warning: expression is already a `D[X, Y, Z]`.
base_isa_gen8.nit:60,8--29: Warning: expression is already a `E[X, Y, Z, Bool]`.
true