From 0d6a215b160e859e3efeb7dafc26c155de0a2db6 Mon Sep 17 00:00:00 2001
From: Lars Reimann <mail@larsreimann.com>
Date: Tue, 20 Feb 2024 12:26:36 +0100
Subject: [PATCH] test: ignore safeguard for coverage

---
 .../safe-ds-lang/src/language/typing/safe-ds-type-computer.ts    | 1 +
 1 file changed, 1 insertion(+)

diff --git a/packages/safe-ds-lang/src/language/typing/safe-ds-type-computer.ts b/packages/safe-ds-lang/src/language/typing/safe-ds-type-computer.ts
index 3c21fac47..90f041e33 100644
--- a/packages/safe-ds-lang/src/language/typing/safe-ds-type-computer.ts
+++ b/packages/safe-ds-lang/src/language/typing/safe-ds-type-computer.ts
@@ -812,6 +812,7 @@ export class SafeDsTypeComputer {
                 if (classType instanceof ClassType) {
                     result.classTypes.push(classType);
                 } else {
+                    /* c8 ignore next 2 */
                     result.containsUnknownType = true;
                 }
             } else if (type === UnknownType) {