<@U0BHS1Y07> I guess that could be avoided if the ...

# language-proposals

[mmotiwala]

@voddan I guess that could be avoided if the function body could be specified in a manner so as to cover the domain application check as well