Disallow InclusiveRange<T> if T is a non-leaf integer

[darkdrag00nv2]

Closes #2885

Description

Disallow InclusiveRange if T is a non-leaf integer. At the moment, the two non-leaf integer types are - Integer and SignedInteger.

---

• Targeted PR against master branch
• Linked to Github issue with discussion and accepted design OR link to spec that describes this work
• Code follows the standards mentioned here
• Updated relevant documentation
• Re-reviewed Files changed in the Github PR explorer
• Added appropriate labels

[codecov]

Codecov Report

Attention: 5 lines in your changes are missing coverage. Please review.

Comparison is base (7ab492f) 79.63% compared to head (733cf47) 79.61%.

❗ Current head 733cf47 differs from pull request most recent head d5b746c. Consider uploading reports for the commit d5b746c to get more accurate results

Files	Patch %	Lines
runtime/stdlib/range.go	87.50%	2 Missing and 1 partial ⚠️
runtime/sema/type.go	88.88%	1 Missing and 1 partial ⚠️

Additional details and impacted files

@@                  Coverage Diff                   @@
##           feature/range-type    #2959      +/-   ##
======================================================
- Coverage               79.63%   79.61%   -0.02%     
======================================================
  Files                     336      336              
  Lines                   79754    79813      +59     
======================================================
+ Hits                    63511    63547      +36     
- Misses                  13875    13894      +19     
- Partials                 2368     2372       +4     

Flag	Coverage Δ
unittests	79.61% <92.64%> (-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.

[turbolent]

Nice! 👌

[turbolent]

Great work!

[SupunS]

👌