Warn about unhandled errors in destructors
errordomain DummyError {
DUMMY
}
class Thing : Object {
public int x;
public Thing (int x) {
this.x = x;
}
~Thing() {
throw new DummyError.DUMMY ("dummy");
}
}
void main() {
var t = new Thing(3);
print("t.x = %d", t.x);
}
We should get a warning inside the destructor about an unhandled error.