Function h

tests/conceptsConstraintsTest.cpp:19–21

    template <unsigned M> void g(AddOneTy<2 * M> *);

    void h() {
        g<0>(nullptr);
    }
    
}