← Back to index | Original Bugzilla link

Bug 14290 – is-expression accepts instantiation of already instantiated template

Status
RESOLVED
Resolution
FIXED
Severity
normal
Priority
P1
Component
dmd
Product
D
Version
D2
Platform
All
OS
All
Creation time
2015-03-15T20:30:00Z
Last change time
2017-07-19T17:42:38Z
Keywords
accepts-invalid, pull
Assigned to
nobody
Creator
schuetzm

Comments

Comment #0 by schuetzm — 2015-03-15T20:30:41Z
This compiles: struct Foo(int i) {} alias Foo1 = Foo!1; static assert(is(Foo!2 == Foo1!T, T...)); Foo1 is clearly not a template, therefore the is-expression should fail. (The alias is needed for syntactic reasons.) Discovered by Nicolas Sicard: http://forum.dlang.org/post/[email protected]
Comment #1 by k.hara.pg — 2015-03-16T12:36:17Z
https://github.com/D-Programming-Language/dmd/pull/4499
Comment #2 by github-bugzilla — 2015-03-18T04:29:10Z
Commits pushed to master at https://github.com/D-Programming-Language/phobos https://github.com/D-Programming-Language/phobos/commit/af1db6dba1c8dfe5044f0364c8d4c51aaa7ba1be Supplemental fix for issue 14290 https://github.com/D-Programming-Language/phobos/commit/31f4928ad691397155ff1d4019de7a28fb8bb5a9 Merge pull request #3057 from 9rnsr/fix14290 Supplemental fix for issue 14290
Comment #3 by github-bugzilla — 2015-03-25T09:23:18Z
Commits pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/4a90c005c971f40bced70257b343419436174e14 fix Issue 14290 - is-expression accepts instantiation of already instantiated template https://github.com/D-Programming-Language/dmd/commit/5c1fedca8a9c7b8b85013f03cb2607469292bbe7 Merge pull request #4499 from 9rnsr/fix14290 Issue 14290 - is-expression accepts instantiation of already instantiated template
Comment #4 by github-bugzilla — 2015-06-17T21:02:16Z
Commits pushed to stable at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/4a90c005c971f40bced70257b343419436174e14 fix Issue 14290 - is-expression accepts instantiation of already instantiated template https://github.com/D-Programming-Language/dmd/commit/5c1fedca8a9c7b8b85013f03cb2607469292bbe7 Merge pull request #4499 from 9rnsr/fix14290
Comment #5 by github-bugzilla — 2017-07-19T17:42:38Z
Commits pushed to dmd-cxx at https://github.com/dlang/phobos https://github.com/dlang/phobos/commit/af1db6dba1c8dfe5044f0364c8d4c51aaa7ba1be Supplemental fix for issue 14290 https://github.com/dlang/phobos/commit/31f4928ad691397155ff1d4019de7a28fb8bb5a9 Merge pull request #3057 from 9rnsr/fix14290