Bug 8337 – using contracts on an interface makes the compiler frontend segfault

Hi, Not sure if this is specific to D2, x86_64 or Linux (since I haven't tried it anywhere else), but I found that a bit of code which I had written made the compiler frontend segfault. I'm quite sure it's the frontend, since both gdc and dmd would segfault. After running the code in question through dustmite, this is what came out of it: interface Edge { int estimate() out{ } } class DefaultEdge : Edge { int estimate() out{ } body{ } } class DefaultDownEdge : DefaultEdge { int estimate() out{ } body{ } } After removing the out contract on the interface, neither compiler will segfault anymore. I don't know whether adding contracts on an interface is allowed in the first place (I've only been doing this D thing for a few weeks), but if so it should issue an error message, not crash :-)

Looks similar to bug 7883 and bug 8292.

Updating the code to: --------- interface Edge { int estimate() out{ } } class DefaultEdge : Edge { int estimate() out{ } body{ return 1; } } class DefaultDownEdge : DefaultEdge { override int estimate() out{ } body{ return 1; } } ---------------- and it compiles without error with dmd 2.064 head.