From 4c5a449d835d641ffc2ae33627e3e822a825ac3a Mon Sep 17 00:00:00 2001 From: rvcas Date: Tue, 13 Feb 2024 19:46:34 -0500 Subject: [PATCH] chore: improve a comment/doc --- crates/aiken-lang/src/tipo/expr.rs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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