Clean up type checking of higher order expressions. (#2519)

* Clean up type checking of higher order expressions.

* Replace `goto` with `break` to pacify clang.

* Fix.

* Fixes.

* Fix more tests.

* Fix lowerWitnessTable parameter error.

* Exclude attributes from ast printing.

Co-authored-by: Yong He <yhe@nvidia.com>

1 files changed, 2 insertions, 0 deletions

diff --git a/source/slang/slang-ir.cpp b/source/slang/slang-ir.cpp
index 1a8f20f1a..261f64130 100644
--- a/source/slang/slang-ir.cpp
+++ b/source/slang/slang-ir.cpp
@@ -19,6 +19,8 @@ namespace Slang
 
     void printDiagnosticArg(StringBuilder& sb, IRInst* irObject)
     {
+        if (!irObject)
+            return;
         if (auto nameHint = irObject->findDecoration<IRNameHintDecoration>())
             sb << nameHint->getName();
     }