@bors r+

📌 Commit bfee7f5 has been approved by detrumi

@detrumi I see similar stuff in https://rust-lang.github.io/chalk/book/types.html too. Should I create an another PR?

The AST. This is used purely for writing test cases with a Rust-like syntax. This is consumed by lowering code, which takes AST and products Rust IR (the next bullet point).
The Rust IR. This is a "HIR-like" notation that defines the interesting properties of things like traits, impls, and structs. It is an input to the rules code, which produces

Hm, why didn't bors merge yet?

@bors r+

Edit: Ah, now it's saying that it's blocked by another PR. But that's an old PR?

💡 This pull request was already approved, no need to approve it again.

• There's another pull request that is currently being tested, blocking this pull request: Add Substitute trait and return self when noop folding #676

📌 Commit bfee7f5 has been approved by detrumi

@bors retry

@Mark-Simulacrum: 🔑 Insufficient privileges: not in try users

@bors retry

⌛ Testing commit bfee7f5 with merge 92b8df3...

☀️ Test successful - checks-actions
Approved by: detrumi
Pushing 92b8df3 to master...