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

Reply via email to