dsl: Warn if shrinking SpaceDimension bounds

[FabioLuporini]

No description provided.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 83.35%. Comparing base (ddb2459) to head (8a1bcf5).

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #2934   +/-   ##
=======================================
  Coverage   83.35%   83.35%           
=======================================
  Files         248      248           
  Lines       51734    51751   +17     
  Branches     4463     4464    +1     
=======================================
+ Hits        43122    43139   +17     
  Misses       7859     7859           
  Partials      753      753           

Flag	Coverage Δ
pytest-gpu-aomp-amdgpuX	68.68% <38.88%> (-0.01%)	⬇️
pytest-gpu-gcc-	78.06% <100.00%> (+<0.01%)	⬆️
pytest-gpu-icx-	77.96% <100.00%> (-0.01%)	⬇️
pytest-gpu-nvc-nvidiaX	69.22% <38.88%> (-0.02%)	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.