> /*
> this(int a, int b) {
> this.a = a;
> this.b = b;
> }
> */
>
> void check() const pure nothrow {
> immutable real p = a ^^ 2 + b ^^ 2;
> assert(sqrt(p) < 10);
> }
> }
If you keep the constructor, then it's probably better to replace
check() with an invariant().
Bye,
bearophile