Nim
Nim copied to clipboard
Published
20 hours ago •
nim-lang
nim-lang
do not match generic invocations to their base body types
fixes #24688, refs #5632
This would make sense if generic body types as the type of expressions are purely symbolic and never valid for an actual generic expression, which should produce some invocation type instead (liftParamType produces a generic invocation with args as tyAnything or the param constraints). Not sure if there is a valid counter case to this.
#5632 is a counter case which no longer works, but it doesn't really seem like a valid case, unless we still want to support it.
PR to arraymancer: https://github.com/mratsim/Arraymancer/pull/674, doesn't mean I'm sure this is correct though
