Book: Section 3A: Static Guarantees (draft)

[jamesmunns]

What sort of Static Guarantees are possible with Rust?

[japaric]

Static guarantees is a topic that's too broad. This section was originally brought up in the context of "the static configuration pattern with embedded-hal implementation as an example".

So the section should probably be named "static configuration" or "type state applied to configuration" or just "type state applied to embedded".

[japaric]

This issue was moved to rust-embedded/book#5