From a16651d6f2a0ab2f543d5f608af1c0ad9dc42a9b Mon Sep 17 00:00:00 2001
From: Julian Berman <Julian@GrayVines.com>
Date: Sat, 15 Feb 2025 12:53:46 -0500
Subject: [PATCH] Two more type annotations.

---
 lua/lean/elan.lua | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/lua/lean/elan.lua b/lua/lean/elan.lua
index ae38c67c..259ebf77 100644
--- a/lua/lean/elan.lua
+++ b/lua/lean/elan.lua
@@ -22,11 +22,13 @@ local elan = { toolchain = {} }
 ---@field path string the path to the toolchain on this machine
 ---@field resolved_name string the identifier for this toolchain
 
---List the installed toolchains.
+---List the installed toolchains.
+---@return string[] toolchains the toolchains
 function elan.toolchain.list()
   local state = elan.state()
   return vim
     .iter(state.toolchains.installed)
+    ---@param each ElanToolchain
     :map(function(each)
       return each.resolved_name
     end)