mgca: Type-check field of array expr const args

[alv-around]

fixes #152125

r? @BoxyUwU

[rustbot]

changes to the core type system

cc @lcnr

[BoxyUwU]

thanks for looking into this, your changes looks correct to me. I intend to merge #152492 instead however as the author was originally assigned to the linked issue.

If you're interested in working on other issues too that would be very welcome :)

View changes since this review

[alv-around]

Thanks for the update. I understand wanting to stick with the original assignee for the final merge.

However, I noticed that the first commit in the PR in question is nearly identical to the solution I submitted a day earlier. While the fix is straightforward, it’s a bit disappointing to see my work replicated rather than collaborated on or cherry-picked, especially after I reached out to coordinate.

I’m still happy to contribute to the project, but I’d hope for a bit more transparency regarding attribution in the future. On to the next one :)

[BoxyUwU]

Yeah it is quite unfortunate how it worked out :( Sorry for your first experience here being quite meh