error: cannot implicitly narrow non-integral float '1.5' to 's64'; use an explicit cast (`xx`/`cast`)
  --> examples/1146-diagnostics-nonintegral-float-to-int.sx:21:15
   |
21 |     y : s64 = 1.5;      // non-integral local initializer → error
   |               ^^^

error: cannot implicitly narrow non-integral float '3.5' to 's64'; use an explicit cast (`xx`/`cast`)
  --> examples/1146-diagnostics-nonintegral-float-to-int.sx:15:15
   |
15 |     f : s64 = 3.5;      // non-integral field default → error
   |               ^^^

error: cannot implicitly narrow non-integral float '2.5' to 's64'; use an explicit cast (`xx`/`cast`)
  --> examples/1146-diagnostics-nonintegral-float-to-int.sx:18:26
   |
18 | badDefault :: (x : s64 = 2.5) -> s64 { return x; }   // non-integral param default → error
   |                          ^^^