// FIR_IDENTICAL
class C<T : C<T>>