Improve generic type argument inference. (#3370)

* Improve generic type argument inference.

* Fix.

* Fix.

---------

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

1 files changed, 10 insertions, 0 deletions

diff --git a/source/slang/slang-check-resolve-val.cpp b/source/slang/slang-check-resolve-val.cpp
index 91722f82c..7cd78a1bf 100644
--- a/source/slang/slang-check-resolve-val.cpp
+++ b/source/slang/slang-check-resolve-val.cpp
@@ -45,4 +45,14 @@ Val* SubtypeWitness::_resolveImplOverride()
     return as<SubtypeWitness>(defaultResolveImpl());
 }
 
+ConversionCost SubtypeWitness::_getOverloadResolutionCostOverride()
+{
+    return kConversionCost_None;
+}
+
+ConversionCost SubtypeWitness::getOverloadResolutionCost()
+{
+    SLANG_AST_NODE_VIRTUAL_CALL(SubtypeWitness, getOverloadResolutionCost, ());
+}
+
 }