mirrors/dmd
1
0
Fork 0
mirror of https://github.com/dlang/dmd.git synced 2025-04-28 06:00:13 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Fix bugzilla 24883 - Speculative template overload error escapes with -preview=rvaluerefparam

Browse source
This commit is contained in:
Dennis Korpel 2024-11-26 11:39:54 +01:00 • committed by The Dlang Bot
parent 347c883586
commit 1a44210ffb
2 changed files with 13 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

8
compiler/src/dmd/templatesem.d
View file

@ -1252,7 +1252,13 @@ extern (D) MATCHpair deduceFunctionTemplateMatch(TemplateDeclaration td, Templat
//printf("farg = %s %s\n", farg.type.toChars(), farg.toChars());
RootObject oarg = farg;
if ((fparam.storageClass & STC.ref_) && (!(fparam.storageClass & STC.auto_) || farg.isLvalue()))
if (farg.isFuncExp())
{
// When assigning an untyped (void) lambda `x => y` to a `(F)(ref F)` parameter,
// we don't want to deduce type void creating a void parameter
}
else if ((fparam.storageClass & STC.ref_) && (!(fparam.storageClass & STC.auto_) || farg.isLvalue()))
{
/* Allow expressions that have CT-known boundaries and type [] to match with [dim]
*/

6
compiler/test/compilable/rvalueref.d
View file

@ -11,3 +11,9 @@ struct AS
void popFront(ref string) { }
static assert(!is(typeof((R r) => r.popFront)));
// https://issues.dlang.org/show_bug.cgi?id=24883
int toString(Writer)(ref Writer sink) => 3;
int toString(void delegate(scope const(char)[]) sink) => 4;
void put() {}
static assert(toString(dst => put()) == 4);