FIR: support proper argument mapping for substitution overrides

Related to KT-52762

compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/FirArgumentsToParametersMapper.kt

@@ -383,8 +383,7 @@ private class FirCallArgumentsProcessor(
                 addDiagnostic(NameNotFound(argument, function))
             }
         } else {
-            // TODO: should we check also substitution overrides? Performance!
-            if (symbol != null && function.isIntersectionOverride) {
+            if (symbol != null && function.isSubstitutionOrIntersectionOverride) {
                 matchedIndex = parameters.indexOfFirst { originalParameter ->
                     originalParameter.name == argument.name
                 }

compiler/testData/diagnostics/tests/namedArguments/ambiguousNamedArgumentsWithGenerics3.fir.kt

@@ -10,6 +10,6 @@ interface C<U> : A<U>, B<U> { // Warning here, this is correct
 }
 
 fun test(c: C<Int>) {
-    c.foo(a = 1)
+    c.foo(<!NAME_FOR_AMBIGUOUS_PARAMETER!>a<!> = 1)
     c.foo(<!NAME_FOR_AMBIGUOUS_PARAMETER!>b<!> = 1)
 }