gcc/testsuite/gdc.test/fail_compilation/fail17955.d

   1 // https://issues.dlang.org/show_bug.cgi?id=17955
   2 /*
   3 TEST_OUTPUT:
   4 ---
   5 fail_compilation/fail17955.d(81): Error: cannot create instance of abstract class `SimpleTimeZone`
   6 fail_compilation/fail17955.d(81):        function `bool hasDST()` is not implemented
   7 fail_compilation/fail17955.d(93): Error: template instance `fail17955.SimpleTimeZone.fromISOExtString!dstring` error instantiating
   8 fail_compilation/fail17955.d(25):        instantiated from here: `fromISOExtString!string`
   9 fail_compilation/fail17955.d(56):        instantiated from here: `isISOExtStringSerializable!(SysTime)`
  10 fail_compilation/fail17955.d(49):        instantiated from here: `toRedis!(SysTime)`
  11 fail_compilation/fail17955.d(40):        ... (2 instantiations, -v to show) ...
  12 fail_compilation/fail17955.d(32):        instantiated from here: `indicesOf!(isRedisType, resetCodeExpireTime)`
  13 fail_compilation/fail17955.d(67):        instantiated from here: `RedisStripped!(User, true)`
  14 fail_compilation/fail17955.d(93): Error: need `this` for `fromISOExtString` of type `pure nothrow @nogc @safe immutable(SimpleTimeZone)(dstring _param_0)`
  15 fail_compilation/fail17955.d(95): Error: undefined identifier `DateTimeException`
  16 fail_compilation/fail17955.d(25): Error: variable `fail17955.isISOExtStringSerializable!(SysTime).isISOExtStringSerializable` - type `void` is inferred from initializer `fromISOExtString("")`, and variables cannot be of type `void`
  17 fail_compilation/fail17955.d(54): Error: function `fail17955.toRedis!(SysTime).toRedis` has no `return` statement, but is expected to return a value of type `string`
  18 ---
  19 */
  20
  21 alias Alias(alias a) = a;
  22
  23 template isISOExtStringSerializable(T)
  24 {
  25     enum isISOExtStringSerializable = T.fromISOExtString("");
  26 }
  27
  28 template RedisObjectCollection(){}
  29
  30 struct RedisStripped(T, bool strip_id = true)
  31 {
  32     alias unstrippedMemberIndices = indicesOf!(Select!(strip_id,
  33             isRedisTypeAndNotID, isRedisType), T.tupleof);
  34 }
  35
  36 template indicesOf(alias PRED, T...)
  37 {
  38     template impl(size_t i)
  39     {
  40         static if (PRED!T)
  41             impl TypeTuple;
  42     }
  43
  44     alias indicesOf = impl!0;
  45 }
  46
  47 template isRedisType(alias F)
  48 {
  49     enum isRedisType = toRedis!(typeof(F));
  50 }
  51
  52 template isRedisTypeAndNotID(){}
  53
  54 string toRedis(T)()
  55 {
  56     static if (isISOExtStringSerializable!T)
  57         return;
  58 }
  59
  60 struct User
  61 {
  62     SysTime resetCodeExpireTime;
  63 }
  64
  65 class RedisUserManController
  66 {
  67     RedisObjectCollection!(RedisStripped!User) m_users;
  68 }
  69
  70 class TimeZone
  71 {
  72     abstract bool hasDST();
  73 }
  74
  75 class SimpleTimeZone : TimeZone
  76 {
  77     unittest {}
  78
  79     immutable(SimpleTimeZone) fromISOExtString(S)(S)
  80     {
  81         new SimpleTimeZone;
  82     }
  83 }
  84
  85 struct SysTime
  86 {
  87
  88     static fromISOExtString(S)(S)
  89     {
  90         dstring zoneStr;
  91
  92         try
  93             SimpleTimeZone.fromISOExtString(zoneStr);
  94
  95         catch (DateTimeException e) {}
  96     }
  97 }
  98
  99 template Select(bool condition, T...)
 100 {
 101     alias Select = Alias!(T[condition]);
 102 }