diff --git a/crates/aiken-lang/src/tipo/expr.rs b/crates/aiken-lang/src/tipo/expr.rs
index a3dde5d1..ccc403e9 100644
--- a/crates/aiken-lang/src/tipo/expr.rs
+++ b/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