cmtice wrote: After some offline conversations with Ilia, I have a bit more work I need to do on the type-checking for assignments, so this PR is NOT ready for review yet. I will let you know when it is. Thanks for your patience. https://github.com/llvm/llvm-project/pull/190223