http://d.puremagic.com/issues/show_bug.cgi?id=10767

           Summary: Regression (2.057): Type inference does not work with
                    a function with a UDT parameter
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: regression
          Priority: P2
         Component: DMD
        AssignedTo: nobody@puremagic.com
        ReportedBy: andrej.mitrovich@gmail.com


--- Comment #0 from Andrej Mitrovic <andrej.mitrovich@gmail.com> 2013-08-06 17:02:27 PDT ---
-----
struct S { }

void test(F)(F f) { }

void main()
{
    test( (int) { } );
    test( (S)   { } );  // L10
}
-----

2.057:
$ dmd test.d
> 

2.058:
$ dmd test.d
> test.d(10): Error: template test.test(F) does not match any function template declaration
> test.d(10): Error: template test.test(F) cannot deduce template function from argument types !()(void)

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

http://d.puremagic.com/issues/show_bug.cgi?id=10767



--- Comment #1 from Andrej Mitrovic <andrej.mitrovich@gmail.com> 2013-08-06 17:03:26 PDT ---
Btw, I keep forgetting whether the version in the regression title should refer to the last working version, or the first version introducing the bug?

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

http://d.puremagic.com/issues/show_bug.cgi?id=10767



--- Comment #2 from Andrej Mitrovic <andrej.mitrovich@gmail.com> 2013-08-06 17:05:34 PDT ---
(In reply to comment #0)
> -----
> struct S { }
> 
> void test(F)(F f) { }
> 
> void main()
> {
>     test( (int) { } );
>     test( (S)   { } );  // L10
> }
> -----

The fix for this is incredible:

void main()
{
    test( (S s) { } );  // works
    test( (S) { } );    // fails
}

What's going on in the front-end?

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

http://d.puremagic.com/issues/show_bug.cgi?id=10767


Kenji Hara <k.hara.pg@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |DUPLICATE


--- Comment #3 from Kenji Hara <k.hara.pg@gmail.com> 2013-08-06 17:21:36 PDT ---
*** This issue has been marked as a duplicate of issue 7198 ***

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

http://d.puremagic.com/issues/show_bug.cgi?id=10767


yebblies <yebblies@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |yebblies@gmail.com


--- Comment #4 from yebblies <yebblies@gmail.com> 2013-08-29 20:45:45 EST ---
(In reply to comment #1)
> Btw, I keep forgetting whether the version in the regression title should refer to the last working version, or the first version introducing the bug?

The first version introducing the bug.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------