chore: improve a comment/doc

crates/aiken-lang/src/tipo/expr.rs

@@ -974,7 +974,8 @@ impl<'a, 'b> ExprTyper<'a, 'b> {
             )?
         };
 
-        // Do not perform exhaustiveness checking if user explicitly used `assert`.
+        // If `expect` is explicitly used, we still check exhaustiveness but instead of returning an
+        // error we emit a warning which explains that using `expect` is unnecessary.
         match kind {
             AssignmentKind::Let => {
                 self.environment