Invalid generic type deduction in `mapIt` about nim

[arnetheduck]

Notably, if a and its assert is removed, the correct type is deduced for b - the presence of the deduction for a breaks b.

[SirOlaf]

Looks like a variation of #22479

[arnetheduck]

ah, right but without destructor this time..

The type system just does not see a generic body without generic parameters as a different type.

this applies though - also in the real bug of which this is a reproduction

[arnetheduck]

fwiw, we've seen this bug in many different places though we never teased out a repro as simple as here - the showstopper label on 22479 feels appropritate

[arnetheduck]

workaround:

import sequtils

type F[T, E] = object
  dummy: array[0, E]

proc start(v: int): F[void, (ValueError,)] = discard
proc stop(v: int): F[void, tuple[]] = discard

var a = mapIt([1, 2, 3], start(it))

assert $type(a) == "seq[F[system.void, (ValueError,)]]", $type(a)

var b = mapIt([1, 2, 3], stop(it))

assert $type(b) == "seq[F[system.void, tuple[]]]", $type(b)