Testing for template argument being result of takeExactly

[monarch_dodra]

On Monday, 24 September 2012 at 06:29:25 UTC, monarch_dodra wrote:
> On Monday, 24 September 2012 at 06:20:57 UTC, monarch_dodra 
> wrote:
>> What is wrong with my proposed solution?
>
> I think I forgot this test, when R is already a type returned 
> by takeExactly:
>
> void main( ) {
>      alias typeof(takeExactly(R.init, 5)) G;
>      Hello!G g;
> }
>
> Which also works.

Er, sorry for triple post, no edit button.

This is R:

struct R
{
     enum empty = false;
     @property int front();
     void popFront();
}

I meant when "Hello' R is already the result of a Take exactly", 
sorry for the confusion.