In this case, `length` is not actually a parametrized, so the compiler will not add any attributes automatically. Besides, here, we *know* it is safe/nothrow.

This begs the question though, should functions such as `front` be made as parameter-less templates?

```D
@property inout(T) front()() inout;
@property void     front()(T value);
```
This would mean that Array could potentially be used in safe/nothrow code if T's postblit is safe/nothrow.
It furthermore means we can access the front of a const array.

Thoughts? In any case, if we do this, I'd rather do this in a separate pull though, I've had this open for quite some time now.