diff options
Diffstat (limited to 'source')
| -rw-r--r-- | source/slang/slang-check-overload.cpp | 30 | ||||
| -rw-r--r-- | source/slang/slang-diagnostic-defs.h | 7 |
2 files changed, 36 insertions, 1 deletions
diff --git a/source/slang/slang-check-overload.cpp b/source/slang/slang-check-overload.cpp index 21fc21df6..b818c9e06 100644 --- a/source/slang/slang-check-overload.cpp +++ b/source/slang/slang-check-overload.cpp @@ -711,7 +711,35 @@ bool SemanticsVisitor::TryCheckOverloadCandidateTypes( } else { - arg.argExpr = coerce(CoercionSite::Argument, paramType, arg.argExpr); + Expr* coercedExpr = coerce(CoercionSite::Argument, paramType, arg.argExpr); + + // Check if concrete-to-interface coercion caused loss of l-valueness. + if (coercedExpr && !coercedExpr->type.isLeftValue && paramType.isLeftValue && + !isInterfaceType(arg.type) && isInterfaceType(paramType.type)) + { + if (context.mode != OverloadResolveContext::Mode::JustTrying) + { + String name; + if (candidate.flavor == OverloadCandidate::Flavor::Func) + { + auto decl = getParameters( + m_astBuilder, + candidate.item.declRef.as<CallableDecl>())[paramIndex]; + name = getText(decl.getName()); + } + else + name.append(paramIndex, 10); + + getSink()->diagnose( + context.loc, + Diagnostics::concreteArgumentToOutputInterface, + name, + arg.type, + paramType.type); + } + return {nullptr, nullptr}; + } + arg.argExpr = coercedExpr; } return arg; }; diff --git a/source/slang/slang-diagnostic-defs.h b/source/slang/slang-diagnostic-defs.h index 089b57c38..6d84792fb 100644 --- a/source/slang/slang-diagnostic-defs.h +++ b/source/slang/slang-diagnostic-defs.h @@ -761,6 +761,13 @@ DIAGNOSTIC( "cannot specialize generic '$0' with the provided arguments.") DIAGNOSTIC(30076, Error, globalVarCannotHaveOpaqueType, "global variable cannot have opaque type.") +DIAGNOSTIC( + 30077, + Error, + concreteArgumentToOutputInterface, + "argument passed to parameter '$0' is of concrete type '$1', but interface-typed output " + "parameters require interface-typed arguments. To allow passing a concrete type to this " + "function, you can replace '$2 $0' with a generic 'T $0' and a 'where T : $2' constraint.") DIAGNOSTIC(-1, Note, doYouMeanStaticConst, "do you intend to define a `static const` instead?") DIAGNOSTIC(-1, Note, doYouMeanUniform, "do you intend to define a `uniform` parameter instead?") |