From 00bc0a57c6ebd3340480b9526055fee0287e9008 Mon Sep 17 00:00:00 2001
From: emmmm <155267286+eeemmmmmm@users.noreply.github.com>
Date: Thu, 25 Dec 2025 22:02:58 +0100
Subject: [PATCH] fix: correct doc comment for get_type_info return type

---
 src/type_checker/fn_env.rs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/type_checker/fn_env.rs b/src/type_checker/fn_env.rs
index 0e0643318..c635e9617 100644
--- a/src/type_checker/fn_env.rs
+++ b/src/type_checker/fn_env.rs
@@ -192,8 +192,7 @@ impl TypedFnEnv {
     }
 
     /// Retrieves type information on a variable, given a name.
-    /// If the variable is not in scope, return false.
-    // TODO: return an error no?
+    /// If the variable is not in scope, return `None`.
     pub fn get_type_info(&self, ident: &str) -> Result<Option<&TypeInfo>> {
         if let Some((scope, type_info)) = self.vars.get(ident) {
             if self.is_forbidden(*scope, type_info.clone()) {