fix typo

[basavesh]

A simple typo fix, found while reading the book.

[detrumi]

Good catch, thanks for fixing that!

[detrumi]

@bors r+

[bors]

📌 Commit bfee7f5 has been approved by detrumi

[basavesh]

@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

[detrumi]

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?

[bors]

💡 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

[bors]

📌 Commit bfee7f5 has been approved by detrumi

[Mark-Simulacrum]

@bors retry

[bors]

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

[jackh726]

@bors retry

[detrumi]

@bors retry

[jackh726]

@bors retry

[bors]

⌛ Testing commit bfee7f5 with merge 92b8df3...

[bors]

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