import std.stdio;

​

struct Refined(T)

{

    T value;

    alias value this;

​

    @property T val() {

        return value;

    }

​

    @property val(T v) {

        static assert(v > 0);

        value = v;

    }

}

​

void main()

{

    Refined!int a;

    a = -100;

​

    writeln("Result: ", a);

}

​