this is an invalid program, but instead of an error message gives this:
dmd: statement.c:752: ErrorStatement::ErrorStatement(): Assertion `global.gaggedErrors || global.errors' failed.
program:
struct Interval ()
{
auto left = INVALID;
auto opAssign ()(Interval){left;}
}
auto interval (T)(T point)
{
Interval!();
}
alias Instantiate (alias symbol, Args...) = symbol!Args;
template Match (patterns...)
{
static if (__traits(compiles, Instantiate!(patterns[0])))
alias Match = patterns[0];
else static if (patterns.length == 1)
{}
}
template SubOps (Args...)
{
auto opIndex ()
{
template IntervalType (T...)
{
alias Point () = typeof(T.interval);
alias IntervalType = Match!(Point);
}
alias Subspace = IntervalType!(Args);
}
}
struct Nat {mixin SubOps!(null);}