import std.exception , std.stdio , std.traits , std.net.isemail;

​

struct NonZero

{

    size_t value;

    alias value this;

​

    static auto validate( size_t value )

    {

        enforce( value != 0 );

        return NonZero( value );

    }

}

​

struct Email

{

    string value;

    alias value this;

    static auto validate( string value )

    {

        enforce( isEmail( value ).valid );

        return Email( value );

    }

​

    auto length()

    {

        return NonZero( this.value.length );

    }

}

​

void sendMessage( Email mail )

{

    writeln( "Email sended to: " , mail );

}

​

unittest

{

    sendMessage( Email.validate( "bar@example.com" ) );

}

​

unittest

{

    auto str = "bar@example.com";

    auto mail = Email.validate( str );

    auto sub = str[ 0 .. 10 ];

    static assert( !__traits( compiles , sendMessage( str ) ) );

    static assert( !__traits( compiles , sendMessage( sub ) ) );

}

​

size_t divide( size_t a , NonZero b )

{

    return a / b;

}

​

unittest

{

    auto str = "bar@example.com";

    auto mail = Email.validate( str );

    divide( 1Lu , mail.length );

}

​

unittest

{

    auto str = "bar@example.com";

    static assert( !__traits( compiles , divide( 1Lu , str.length ) ) );

}

​