A[0] is a static array of A's of size 0. However, I'm not sure why it ever passes, because typeof(X) where X is already a type should fail, I think?
-Steve ----- Original Message ---- > From: Lars Tandle Kyllingstad <[email protected]> > > I noticed something funny when fixing this. In the template constraint > for back(), is(typeof(A.init[0])), is used to check whether the type A > supports indexing. This makes sense. In the constraint for front(), > however, is(typeof(A[0])) is used. Does anyone know why this last case > works at all? Outside of typeof(), A[0] is completely meaningless > unless A is a tuple, so why allow this special case? > > -Lars _______________________________________________ phobos mailing list [email protected] http://lists.puremagic.com/mailman/listinfo/phobos
