Chandler Carruth

@zygoloid @josh11b - is this "decided" in as much as we have a path forward that provides (limited) transitive type equality that we're going to get some experience using?

Closing this as decided "yes we want transitive type equality". We also think we have a good compromise that preserves even more expressivity than the original issue proposed while still...

Just noting that I've hidden some discussion as off-topic because it was distracting from this issue. Generally, this issue is open and anyone interested should feel free to take a...

Fixed with #1964 !

I think both @zygoloid and I are happy with option (3). A key clarification here, is that constraints on a template binding are checked when initializing that binding, but *after*...

I think the previous post already answered this, closing.

Closing explorer-specific issues as not-planned for now due to our decision to prioritize working on the toolchain over other implementation work in the near term: https://github.com/carbon-language/carbon-lang/blob/trunk/proposals/p3532.md

Closing explorer-specific issues as not-planned for now due to our decision to prioritize working on the toolchain over other implementation work in the near term: https://github.com/carbon-language/carbon-lang/blob/trunk/proposals/p3532.md

(I am actually working on this)

I think the leads have arrived at a decision here. We considered both the name of the entry point for execution and the package name that contains it. Package name:...