bound qualification?

test_qual.cpp

#include <typeinfo>

//g++ -std=gnu++0x jikken.cxx                                                                                                                                  
//g++ -std=c++11 jikken.cxx
template <bool B> void sassert()
{
    int dummy[B ? 1:-1];
    dummy[0] = 0;
}

template <int N> struct NatVal {}; 

class Nat3 {
    int val;

public:
    template <int N> Nat3(NatVal<N>) {
        sassert<N < 3>();
        val = N;
    }   

    template <int N> void set(NatVal<N>) {
        sassert<N < 3>();
        val = N;
    }   
};

int main()
{
    NatVal<0> v0; 
    NatVal<3> v3; 
    Nat3 test1(v0); // gccのバージョンが古いと挙動変かも
    //Nat3 test2(v3); //compile error
    return 0;
}