[Issue 16465] Template alias does not get unwrapped in templated functions

[d-bugmail--- via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=16465

Walter Bright  changed:

   What|Removed |Added

   See Also||https://issues.dlang.org/sh
   ||ow_bug.cgi?id=1807

--

[Issue 16465] Template alias does not get unwrapped in templated functions

[d-bugmail--- via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=16465

ag0aep6g  changed:

   What|Removed |Added

 Status|REOPENED|RESOLVED
 CC||ag0ae...@gmail.com
 Resolution|--- |INVALID

--- Comment #9 from ag0aep6g  ---
(In reply to Sky Thirteenth from comment #8)
> (In reply to b2.temp from comment #7)
> > (In reply to Sky Thirteenth from comment #6)
> > > (In reply to b2.temp from comment #5)
> > > > I confirm the misunderstanding. If you permit I would suggest you to 
> > > > close
> > > > this one but to open a new issue using your second example. The first 
> > > > one
> > > > really represented issue 6082. The second is perfectly clear.
[...]
> Here the new one https://issues.dlang.org/show_bug.cgi?id=16486

Since the issue has been moved, I'm closing this one as invalid.

--

[Issue 16465] Template alias does not get unwrapped in templated functions

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=16465

--- Comment #8 from Sky Thirteenth  ---
(In reply to b2.temp from comment #7)
> (In reply to Sky Thirteenth from comment #6)
> > (In reply to b2.temp from comment #5)
> > > I confirm the misunderstanding. If you permit I would suggest you to close
> > > this one but to open a new issue using your second example. The first one
> > > really represented issue 6082. The second is perfectly clear.
> > 
> > Yes, sure.
> > But, you will create new one, or should I?
> 
> I wont, you will.

OK, thank you.

Here the new one https://issues.dlang.org/show_bug.cgi?id=16486

--

[Issue 16465] Template alias does not get unwrapped in templated functions

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=16465

--- Comment #7 from b2.t...@gmx.com ---
(In reply to Sky Thirteenth from comment #6)
> (In reply to b2.temp from comment #5)
> > I confirm the misunderstanding. If you permit I would suggest you to close
> > this one but to open a new issue using your second example. The first one
> > really represented issue 6082. The second is perfectly clear.
> 
> Yes, sure.
> But, you will create new one, or should I?

I wont, you will.

--

[Issue 16465] Template alias does not get unwrapped in templated functions

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=16465

--- Comment #6 from Sky Thirteenth  ---
(In reply to b2.temp from comment #5)
> I confirm the misunderstanding. If you permit I would suggest you to close
> this one but to open a new issue using your second example. The first one
> really represented issue 6082. The second is perfectly clear.

Yes, sure.
But, you will create new one, or should I?

--

[Issue 16465] Template alias does not get unwrapped in templated functions

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=16465

--- Comment #5 from b2.t...@gmx.com ---
I confirm the misunderstanding. If you permit I would suggest you to close this
one but to open a new issue using your second example. The first one really
represented issue 6082. The second is perfectly clear.

--

[Issue 16465] Template alias does not get unwrapped in templated functions

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=16465

Sky Thirteenth  changed:

   What|Removed |Added

 Status|RESOLVED|REOPENED
 Resolution|DUPLICATE   |---

--- Comment #4 from Sky Thirteenth  ---

(In addition to Sky Thirteenth from comment #3)
> (In reply to b2.temp from comment #2)
> > This is not a bug, this is issue 6082. IFTI doesn't support this yet.
> > 
> > *** This issue has been marked as a duplicate of issue 6082 ***
> 
> Sorry, but not we have some misunderstanding.
> 
> Question is not about a constructors. It about a types.
> 
> Here is more clear example: https://dpaste.dzfl.pl/2c8e1c350182

Template aliases does not work correct while it used with template functions.
Compiler just somehow can't understand that is the same type, rather than
different.

--

[Issue 16465] Template alias does not get unwrapped in templated functions

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=16465

--- Comment #3 from Sky Thirteenth  ---
(In reply to b2.temp from comment #2)
> This is not a bug, this is issue 6082. IFTI doesn't support this yet.
> 
> *** This issue has been marked as a duplicate of issue 6082 ***

Sorry, but not we have some misunderstanding.

Question is not about a constructors. It about a types.

Here is more clear example: https://dpaste.dzfl.pl/2c8e1c350182

--

[Issue 16465] Template alias does not get unwrapped in templated functions

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=16465

b2.t...@gmx.com changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |DUPLICATE

--- Comment #2 from b2.t...@gmx.com ---
This is not a bug, this is issue 6082. IFTI doesn't support this yet.

*** This issue has been marked as a duplicate of issue 6082 ***

--

[Issue 16465] Template alias does not get unwrapped in templated functions

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=16465

b2.t...@gmx.com changed:

   What|Removed |Added

   Hardware|x86_64  |All
 OS|Windows |All

--- Comment #1 from b2.t...@gmx.com ---
1. I don't see the first function working.
(https://dpaste.dzfl.pl/2b462faf70b0). WHen you try to instantiate both gives
the same error.

2. If you don't do partial instantiation then your alias can be declared more
simply as 'alias TestAlias = TestType;'

3. The real problem you encounter here is that TestType template argument
cannot be deduced from the value passed to the constructor:

struct TestType(T)
{
T data;
}

void main()
{
auto a = TestType(0); // same error
}

This is exactly what happens when you call TestFunctionA.
For example you can replace the declaration by:

void testFunctionB(T)(T arg)
and if you call

testFunction(TestType(0));

you get exactly the same error.

--

[Issue 16465] Template alias does not get unwrapped in templated functions

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=16465

Sky Thirteenth  changed:

   What|Removed |Added

   Severity|normal  |major

--

[Issue 16465] Template alias does not get unwrapped in templated functions

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=16465

Sky Thirteenth  changed:

   What|Removed |Added

 CC|sky.13th...@gmail.com   |

--

[Issue 16465] Template alias does not get unwrapped in templated functions

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=16465

Sky Thirteenth  changed:

   What|Removed |Added

 CC||sky.13th...@gmail.com

--