> I think we're in good shape.

I don't think so, because you can easily get screwed:

```D
static immutable string[3] colors = ["red", "blue"];  // no CT error
```

At least with auto inference you would get an exception trying to access `colors[2]`, whereas here you'll end up getting garbage (even if it's `.init` it's still hard to track down).