void foo(auto in a, auto out int b) const
out {
assert(true);
}
body {
void foo() const
in {
out (result) {