Combining template conditions and contracts?

[Alex Parrill via Digitalmars-d-learn]

On Monday, 29 February 2016 at 14:38:52 UTC, Ozan wrote:
> Is it possible to combine  template conditions and contracts?
> Like in the following
>
>
> T square_root(T)(T x)  if (isBasicType!T) {
> in
> {
>     assert(x >= 0);
> }
> out (result)
> {
>     assert((result * result) <= x && (result+1) * (result+1) > 
> x);
> }
> body
> {
>     return cast(long)std.math.sqrt(cast(real)x);
> }
>
> Compiler says no. Maybe it's a missunderstanding from my side..
>
> Thanks & regards, Ozan

You have a spare { after the template constraint in your sample