On Tuesday, 4 August 2015 at 20:54:43 UTC, Steven Schveighoffer wrote: > How complete is the dip25 implementation? > > For example, should this be expected to be an error? > > struct S > { > int[5] x; > auto foo() { return x[];} > } You need to (at least) qualify `foo` as @safe.