Fixes per review comments

Author: frank-at-adacore

courses/rust_essentials/200_error_handling/00-introduction.rst

@@ -6,31 +6,22 @@ Introduction
 Topics Covered
 ----------------
 
-* **Panics**
+* **Errors**
 
-  * Unrecoverable errors
-
-* **Recoverable Errors**
-
-  * :rust:`Result`
+  * Unrecoverable errors - :rust:`panic!`
+  * Recoverable Errors - :rust:`Result`
 
 * **Try Operator**
 
   * Error propagation
-
-* **Try Conversions**
-
   * Converting error traits
 
 * **Error Trait**
 
   * Defining error implementations
 
-* **Creating Errors Through** :rust:`derive`
-
-  * :rust:`thiserror`
-
 * **Simplified Error Handling**
 
+  * Creating Errors Through :rust:`derive` - :rust:`thiserror`
   * :rust:`anyhow`
 

courses/rust_essentials/200_error_handling/02-panic.rst

@@ -16,13 +16,9 @@ Unrecoverable Error
 
     * Failed :rust:`assert!` or :rust:`debug_assert!`
 
-* You can also manually determine you're in trouble
+* Call :rust:`panic!` when logic indicates unrecoverable error
 
-  * Control flow gets somewhere it shouldn't
-
-* :rust:`panic!` is the call used in these situations
-
-  * Signals unrecoverable error - triggering thread shut-down
+  * Triggers thread shut-down
   * Configurable - either unwind stack or abort
 
 ------------------------------

courses/rust_essentials/200_error_handling/03-result.rst

@@ -24,7 +24,7 @@ Recoverable Error
 
 .. note::
 
-  You need to handle both good and bad variants!
+  You need to handle both variants!
 
 ------------------
 Handling Results
@@ -84,7 +84,9 @@ Propagating Errors
 
 * Shortcut - :rust:`?` operator makes propagation concise
 
-  * Called the **Try Operator** - see next chapter for details
+  * Called the **Try Operator**
+
+    * See next chapter for details
 
 .. container:: latex_environment footnotesize
 

courses/rust_essentials/200_error_handling/04-try_operator.rst

@@ -9,10 +9,11 @@ Try Operator
 * Replaces repetitive match handling
 * Keeps code focused on the "happy path"
 
-* How it works
+* Automatically decodes :rust:`Result`
 
   * :rust:`Ok(value)` - **unwrap** value and continue execution
   * :rust:`Err(E)` - returns early
+  * Works similarly for :rust:`Option`
 
 * Limitation
 
@@ -87,6 +88,6 @@ Returning "Result" from "main"
       Ok(())
   }
 
-.. latex_environment:: tiny
+.. container:: latex_environment scriptsize
 
-  ``Error: Os { code: 2, kind: NotFound, message: "No such file or directory" }``
+  :error:`Error: Os { code: 2, kind: NotFound, message: "No such file or directory" }`

courses/rust_essentials/200_error_handling/05-try_conversions.rst

@@ -13,10 +13,7 @@ Automatic Error Type Conversion
 
 .. code:: rust
 
-  enum Reason {
-      TooYoung,
-      TooOld,
-  }
+  enum Reason { TooYoung, TooOld, }
 
   // Error type is 'Reason'
   fn check_age(age: i32) -> Result<i32, Reason> {
@@ -28,11 +25,12 @@ Automatic Error Type Conversion
       // '?' sees 'Reason', knows the return type is 'String',
       // and converts it behind the scenes.
       check_age(10)?; 
-
       Ok(())
   }
 
-* Return error type must implement :rust:`From` trait for source error type
+.. note::
+
+  Return error type must implement :rust:`From` trait for source error type
 
   * Compiler verifies a valid path exists to convert the error
   * If not, it throws a *trait bound not satisfied* error

courses/rust_essentials/200_error_handling/06-error_trait.rst

@@ -50,6 +50,13 @@ Trait Definition
   * Allows you to peel back layers of error to find root cause
   * E.g a "network error" caused by a "timeout"
 
+.. note::
+
+  :rust:`Source` returns an :rust:`Option` type where :rust:`Error` is
+
+  * :rust:`dyn` - trait object (not a fixed-size type)
+  * :rust:`'static` - has no temporary references 
+
 ------------------------
 Implementing the Trait
 ------------------------

courses/rust_essentials/200_error_handling/08-anyhow.rst

@@ -50,7 +50,7 @@ One Type to Rule Them All
     use anyhow::Result;
 
     fn run_app() -> Result<()> {
-        let config = read_config()?; // Could be 'io::Error'
+        let config = read_config()?;    // Could be 'io::Error'
         let data = parse_data(config)?; // Could be 'ParseError'
         Ok(())
     }