JIT: fix overly aggressive box-unbox.any assert (#14799)

A recently added assert was trying to ensure that `compareTypesForEqualty`
caught all the box-unbox.any cases we got before by direct handle comparison.
But there are cases where identical handles cannot resolve equality
comparisons, eg when the handles represent shared types like __Canon, and
the assert was not screening for those.

Seems simplest just to remove the assert, it was really only of value when
coding up the new jit interface method.

Closes #14780.

1 files changed, 1 insertions, 5 deletions

diff --git a/src/jit/importer.cpp b/src/jit/importer.cpp
index 734cc99d6b..b5df87b0ec 100644
--- a/src/jit/importer.cpp
+++ b/src/jit/importer.cpp
@@ -14874,7 +14874,7 @@ void Compiler::impImportBlockCode(BasicBlock* block)
 
                     impResolveToken(codeAddr + (sz + 1), &unboxResolvedToken, CORINFO_TOKENKIND_Class);
 
-                    // See if token types a equal.
+                    // See if the resolved tokens describe types that are equal.
                     const TypeCompareState compare =
                         info.compCompHnd->compareTypesForEquality(unboxResolvedToken.hClass, resolvedToken.hClass);
 
@@ -14886,10 +14886,6 @@ void Compiler::impImportBlockCode(BasicBlock* block)
                         sz += sizeof(mdToken) + 1;
                         break;
                     }
-                    else
-                    {
-                        assert(unboxResolvedToken.hClass != resolvedToken.hClass);
-                    }
                 }
 
                 impImportAndPushBox(&resolvedToken);