Combining template conditions and contracts?

[Daniel Kozak via Digitalmars-d-learn]

auto 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);
}

void main()
{
     import std.stdio: writeln;
     writeln(square_root(2));
}

Dne 29.2.2016 v 15:38 Ozan via Digitalmars-d-learn napsal(a):
> 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