Bug 8292 – segfaults on out contract

dmd segfault.d segfaults, if segfault.d contains -- module sat; import std.container; struct Literal { Var var; bool sign; } struct Var { size_t idx; alias idx this; } struct Clause { Literal[] literals; alias literals this; } struct Watchers { Array!(Array!(Clause*)*) watchlist; alias watchlist this; Array!(Clause*)* opIndex(Literal lit) { return watchlist[index(lit)]; } size_t index(Literal lit) { return lit.var + lit.sign; } void watch(Literal lit, Clause* cls) out { assert((*this[lit]).length > 0); } body { } } void main() {} -- It does not segfault if the out-contract is not included.

Using arrays instead of Array!T it segfaults if this[lit] is used in watch. If I write _watchlist[lit] instead it works

This does not segfault, and runs successfully, on dmd 2.064 head.