blob: fee91ec9b3ebcc2b6fb3d064e8cd78348d737fc7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
/*
TEST_OUTPUT:
---
fail_compilation/fail213.d(18): Error: template instance `Foo!int` does not match template declaration `Foo(T : immutable(T))`
fail_compilation/fail213.d(25): Error: template instance `Foo!(const(int))` does not match template declaration `Foo(T : immutable(T))`
---
*/
template Foo(T:immutable(T))
{
alias T Foo;
}
void main()
{
{
int x;
alias Foo!(typeof(x)) f;
//printf("%s\n", typeid(f).toString().ptr);
assert(is(typeof(x) == int));
assert(is(f == int));
}
{
const int x;
alias Foo!(typeof(x)) f;
}
}
|
