//#fail
#include <coordinate>
int main(void)
{
    std::bounds<1> cord(-1);
}