Unassigned type parameters in `UnionAll` of `Tuple` do not refer to concrete types in edge cases

I think it may be way too late for making that change, as explained here PSA: Julia is not at that stage of development anymore.

If you really want to make this change, you could make a PR. Assuming it passes the Julia test suite, it could be further evaluated with PkgEval, to see which registered packages’ test suites does it break. Hypothetically it could get accepted as a minor change if it’s not too breaking, however I think you’d have to present a stronger motivation than given here.

It might be interesting to see what would such a PR break in the ecosystem :joy:

1 Like