ringabout b73908a361 fix #25789; improve handling of distinct types (#25791) ...

fix #25789

This pull request addresses an issue with the `distinctBase` trait in
the Nim compiler, ensuring it correctly handles types with generic
parameters and static parameters. Additionally, it adds a new test to
cover this scenario. The most important changes are:

### Compiler logic improvements

* Updated the `evalTypeTrait` implementation for the `distinctBase`
trait in `compiler/semmagic.nim` to properly skip all relevant type
wrappers, including those with generic and static parameters, when
unwrapping distinct types. This fixes incorrect handling of types like
`distinct L[int, 100]`.

### Test coverage

* Added a new test block for bug #25789 in
`tests/metatype/ttypetraits.nim` that defines a distinct type over a
generic type with a static parameter, verifies conversions, and checks
that the `distinctBase` trait returns the correct type.

2026-05-05 20:21:37 +02:00

..

deps

fixes #18095 (#25744)

2026-04-14 19:58:44 +02:00

tbindtypedesc.nim

Fix #11058 (#11172)

2019-05-05 08:26:22 +02:00

tcisaorb.nim

fixes #18095 (#25744)

2026-04-14 19:58:44 +02:00

tcompositetypeclasses.nim

clean up SOME pending/xxx/issue link comments (#21826)

2023-05-11 10:23:52 +02:00

tcps.nim

fixes #18059 (#18140)

2021-06-02 13:13:23 +02:00

tmatrix1.nim

Testament: refactoring; makes the test joiner green

2018-12-11 21:23:23 +01:00

tmatrix2.nim

tests: Trim .nim files trailing whitespace

2015-09-04 23:04:32 +02:00

tmatrix3.nim

make megatest consistent with unjoined tests wrt newlines, honor newlines in output spec (#16151)

2020-11-28 09:09:31 +01:00

tmatrix4.nim

fix #1082

2017-06-20 11:29:42 +02:00

tmeta_typeclasses.nim

megatest can be executed

2018-12-11 21:23:21 +01:00

tmetatype_issues.nim

remove prev == nil requirement for typedesc params as type nodes (#24206)

2024-09-30 17:34:49 +02:00

tmetatype_various.nim

fixes #23139; Cannot get repr of range type of enum (#23164)

2024-01-05 11:07:27 +01:00

tmetatypematrix.nim

consistent floating point output (#12219)

2019-09-20 10:41:40 +02:00

tsemistatic.nim

cleanup tests; don't use non-working 'msg' spec field

2018-11-23 13:16:45 +01:00

tshacontext.nim

fixes #14136 (#14198)

2020-05-03 00:12:52 +02:00

tstatic_generic_typeclass.nim

Made generic type classes work with types using static parameters (#21528)

2023-03-17 10:17:08 +01:00

tstaticparammacro.nim

defaults to ORC (#19972)

2022-09-23 13:05:05 +02:00

tstaticparams.nim

fix #12864 static params were mutating arg types during sigmatch; fix #12713 ; refs #13529 (#13976)

2020-04-14 15:00:02 +02:00

tstaticvector.nim

defaults to ORC (#19972)

2022-09-23 13:05:05 +02:00

ttensor.nim

make megatest consistent with unjoined tests wrt newlines, honor newlines in output spec (#16151)

2020-11-28 09:09:31 +01:00

ttypedesc1.nim

Add test-cases to some fixed issues to close them (#14795)

2020-06-24 20:38:08 -07:00

ttypedesc2.nim

close #12704 by adding a test (tuple codegen error) (#13592)

2020-03-06 08:55:53 +01:00

ttypedesc3.nim

fixes #18612; apply cache and memcmp for methods in arc/orc (#19749)

2022-04-26 20:14:39 +02:00

ttypedescnotnimnode.nim

sem all call nodes in generic type bodies + many required fixes (#23983)

2024-08-20 21:31:19 +02:00

ttypeselectors.nim

sem all call nodes in generic type bodies + many required fixes (#23983)

2024-08-20 21:31:19 +02:00

ttypetraits.nim

fix #25789; improve handling of distinct types (#25791)

2026-05-05 20:21:37 +02:00

tunresolved_return_type.nim

Error -> Defect for defects (#13908)

2020-04-28 19:56:01 +02:00

tvoid_must_not_match.nim

better error messages: use <T1, T2> instead of (T1, T2) in order to prevent confusions with tuple types

2018-02-10 20:55:21 +01:00

twildtypedesc.nim

use doAssert in tests (#16486)

2020-12-28 14:13:21 +01:00

twrong_same_type.nim

fixes #23445; fixes #23418 [backport] (#23699)

2024-06-09 08:16:05 +02:00

tymatrix.nim

remove unused imports from tests

2019-11-06 14:35:45 +01:00

typeclassinference.nim

Fixed type inference for 'set` and 'tuple' (#18827)

2021-09-11 13:05:53 +02:00

typedesc_as_value.nim

typeToString: type float => typedesc[float] (#17011)

2021-02-12 17:10:20 +01:00

utypeclasses.nim

remove some noises in tests (#16448)

2020-12-27 14:45:57 +01:00