debian-packages/taggedalgebraic
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Fix "statement not reachable" errors.

Browse source
This commit is contained in:
Sönke Ludwig 2015-12-06 14:57:30 +01:00
parent 96f18356f7
commit df23609f3d
1 changed files with 12 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

25
source/taggedalgebraic.d
View file

@ -111,16 +111,14 @@ struct TaggedAlgebraic(U) if (is(U == union) || is(U == struct))
{
~this()
{
switch (m_kind) {
default: break;
final switch (m_kind) {
foreach (i, tname; fieldNames) {
alias T = typeof(__traits(getMember, U, tname));
static if (hasElaborateDestructor!T)
{
case __traits(getMember, Kind, tname):
case __traits(getMember, Kind, tname):
static if (hasElaborateDestructor!T) {
.destroy(trustedGet!tname);
return;
}
}
return;
}
}
}
@ -131,13 +129,14 @@ struct TaggedAlgebraic(U) if (is(U == union) || is(U == struct))
{
import std.conv : to;
switch (m_kind) {
default: assert(false, "Cannot cast a "~(cast(Kind)m_kind).to!string~" value to "~T.stringof);
final switch (m_kind) {
foreach (i, FT; FieldTypes) {
static if (is(typeof(cast(T)trustedGet!(fieldNames[i])) == T)) {
case __traits(getMember, Kind, fieldNames[i]):
return cast(T)trustedGet!(fieldNames[i]);
}
case __traits(getMember, Kind, fieldNames[i]):
static if (is(typeof(trustedGet!(fieldNames[i])) : T)) {
return trustedGet!(fieldNames[i]);
} else {
assert(false, "Cannot cast a "~(cast(Kind)m_kind).to!string~" value to "~T.stringof);
}
}
}
assert(false); // never reached