From 66f39acec00036d9690146ffd25b85d78b005a13 Mon Sep 17 00:00:00 2001
From: LordBaryhobal <lordbaryhobal@gmail.com>
Date: Wed, 24 Jun 2026 14:11:15 +0200
Subject: [PATCH] fix(cli): show all diagnostics in types command

combine type checker diagnostics with judgements info diagnostics
---
 midas/cli/commands/types.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/midas/cli/commands/types.py b/midas/cli/commands/types.py
index d17a0a8..57aa897 100644
--- a/midas/cli/commands/types.py
+++ b/midas/cli/commands/types.py
@@ -41,6 +41,7 @@ def types(
                 message=f"Type: {type}",
             )
         )
+    diagnostics.extend(checker.diagnostics)
     printer = DiagnosticPrinter()
     printer.print_all(diagnostics)