ignore uninstantiated static on match to base type [backport:2.0]

nim-lang / Nim

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

Other

16.22k stars 1.46k forks source link

fixes #23730

Since #23188 the compiler errors when matching a type variable to an uninstantiated static value. However sometimes an uninstantiated static value is given even when only a type match is being performed to the base type of the static type, in the given issue this case is:

proc foo[T: SomeInteger](x: T): int = int(x)
proc bar(x: static int): array[foo(x), int] = discard
discard bar(123)

To deal with this issue we only error when matching against a type variable constrained to static.

Not sure if the q.typ.kind == tyGenericParam and q.typ.genericConstraint == tyStatic check is necessary, the code above for deciding whether the variable becomes skConst doesn't use it.

nim-lang / Nim

ignore uninstantiated static on match to base type [backport:2.0] #23731