double interface inheritance?

[rm]

Is the stuff below allowed?

>>>

interface C
{
	void f();
}

class CC : C,C
{
	void f() {}
}

void main()
{
	CC cc = new CC();
	cc.f();
}

<<<

I thought it should generate an error?

roel