D issues are now tracked on GitHub. This Bugzilla instance remains as a read-only archive.
Issue 6650 - ICE(glue.c): type inference of invalid template instantiation from is(typeof())
Summary: ICE(glue.c): type inference of invalid template instantiation from is(typeof())
Status: RESOLVED FIXED
Alias: None
Product: D
Classification: Unclassified
Component: dmd (show other issues)
Version: D2
Hardware: Other Windows
: P2 normal
Assignee: No Owner
URL:
Keywords: ice
Depends on:
Blocks:
 
Reported: 2011-09-12 05:54 UTC by Don
Modified: 2015-06-09 05:11 UTC (History)
0 users

See Also:


Attachments

Note You need to log in before you can comment on or make changes to this issue.
Description Don 2011-09-12 05:54:01 UTC
This is a bug with the gagging system.

auto quz(X)(X y)
{
    X q = "abc";
    return y;
}

static assert(!is(typeof(quz!int(6))));

Two additional tests:
// It should also be false the second time;
static assert(!is(typeof(quz!int(18))));
// This should print error messages.
int bolog = quz!int(27);
Comment 1 Don 2012-02-08 06:50:35 UTC
This was fixed in DMD2.056, commit 8ed5854.
Test case is in the test suite.