sub _invalidate {
    $! = shift;
    die sprintf('Constraint violation: %s by %s::%s in %s line %s.',
                $!,
                map { qq($_) } (caller 1)[0,3,1,2] ),
        "\n";
}