restore old file

jamesmunns · jamesmunns · commit b3b573282a74 · 2018-09-24T20:07:11.000+02:00
diff --git a/src/static-guarantees/static-guarantees.md b/src/static-guarantees/static-guarantees.md
@@ -0,0 +1,3 @@
+# Static Guarantees
+
+> ❌: This section has not yet been written. Please refer to [embedded-wg#817](https://github.com/rust-lang-nursery/embedded-wg/issues/118) for discussion of this section.

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+# Static Guarantees`
	`2`	`+`
	`3`	`+> ❌: This section has not yet been written. Please refer to [embedded-wg#817](https://github.com/rust-lang-nursery/embedded-wg/issues/118) for discussion of this section.`