scala/_constraints