Pre and Post contracts and signature constraints

[simendsjo]

On 04.07.2011 19:42, simendsjo wrote:
>
> The "in" should be in a block of it's own:
>
> T foo(T)(T a)
> if(...) // notice no { here
> in {
> } body {
> }

I of course mean that if should not create a new block.