Merge pull request #8 from rust-lang/pnkfelix-fix-contracts-title-in-…

…summary-dot-md

fix title for "Contracts and invariants" in SUMMARY.md

src/SUMMARY.md

@@ -23,7 +23,7 @@
             - [Impl trait everywhere](./2024h2/Impl-trait-everywhere.md)
             - [Seamless C support](./2024h2/Seamless-C-Support.md)
             - [Patterns of empty types](./2024h2/Patterns-of-empty-types.md)
-            - [Patterns of empty types](./2024h2/Contracts-and-invariants.md)
+            - [Contracts and invariants](./2024h2/Contracts-and-invariants.md)
 - [📖 Learn about](./about/index.md)
     - [Goal motivations](./about/motivation.md)
     - [Goal owners](./about/owners.md)
@@ -32,4 +32,4 @@
 - [❓ How to](./how_to/index.md)
     - [Proposal a new goal](./how_to/propose_a_goal.md)
     - [Report status on active goal](./how_to/report_status.md)
-- [RFC](./rfc.md)
+- [RFC](./rfc.md)