Submodule constraints are no longer needed