josh11b

Also note that [/docs/design/lexical_conventions/numeric_literals.md](https://github.com/carbon-language/carbon-lang/blob/trunk/docs/design/lexical_conventions/numeric_literals.md) has the official description of how numeric literals are written lexically in the source code (added in #185 ).

It is the value of the `IntLiteral` itself. So the type of the literal `3` is `IntLiteral(3)` which is different from the type of the literal `4`, which is `IntLiteral(4)`.

Yes, the `M` in `Int(M)` is a bit width.

I wouldn't start from `primitive_types.md`, all that content is being deleted in #1975 . For example, the goal of this PR is to write something that isn't provisional, and so...

I've left comments on #2092 . I know I put in a lot of suggestions, but don't worry that is completely expected when first contributing to Carbon. Honestly, we need...

As a FYI, the goal here is to avoid unbounded searches and arbitrary search-depth limits. I believe there are other cases where non-transitivity and `observe` declarations are needed to avoid...

It would be valuable to go through the standard libraries of Rust and Swift to see where recursive interfaces are used, though I probably won't have time to tackle that...

I'd like to copy [something I said on #1384](https://github.com/carbon-language/carbon-lang/issues/1384#issuecomment-1183336458) that is relevant to this issue: > The `observe` experiment is aiming for a simple rule to achieve these goals: >...

@jsiek , @zygoloid and I talked about it for a while and we could not come up with a transitive rule that was incomplete when there were recursive interfaces, nor...

@carbon-language/carbon-leads A little bit of guidance from leads here would make the path forward clear which would make forward progress easier. In particular this PR is about the question: how...