Is this a temporary restriction?
class C {
invariant() { }
auto f() {
return 1;
}
}Error: function C.f post conditions are not supported if the return type is inferred
Is this a temporary restriction?
class C {
invariant() { }
auto f() {
return 1;
}
}Error: function C.f post conditions are not supported if the return type is inferred