tests/sav/base_as_cast_alt1.sav

   1 0
   2 0
   3 0
   4 Cast failed in base_as_cast_alt1::Sys::(kernel::Sys::main) (alt/base_as_cast_alt1.nit:45)
   5 ,---- Stack trace -- - -  -
   6 | base_as_cast_alt1::Sys::(kernel::Sys::main) (alt/base_as_cast_alt1.nit:39)
   7 `------------------- - -  -