// ĠSee ĠK T - 9 4 3 8 : ĠEn force Ġthe ĠSingle ĠInstanti ation ĠInherit ance ĠRule Ġfor Ġtype Ġparameters Ċ Ċ interface ĠA Ċ Ċ interface ĠB Ċ Ċ interface ĠD < T > Ċ Ċ interface ĠInc orrect F < T Ġ: ĠD < A >> Ġwhere ĠT Ġ: ĠD < B > Ċ Ċ interface ĠCorrect F < T > Ġwhere ĠT Ġ: ĠD < A >, ĠT Ġ: ĠD < B > Ċ Ċ interface ĠG < T > Ċ Ċ interface ĠInc orrect H < T Ġ: ĠG < D < A >>> Ġwhere ĠT Ġ: ĠG < D < T >> Ċ Ċ interface ĠCorrect H < T > Ġwhere ĠT Ġ: ĠG < D < A >>, ĠT Ġ: ĠG < D < B >> Ċ Ċ interface Ġincorrect J < T : ĠG < D < T >>> Ġwhere ĠT Ġ: ĠG < D < T ? >> Ċ Ċ interface Ġcorrect J < T > Ġwhere ĠT Ġ: ĠG < D < T >>, ĠT Ġ: ĠG < D < T ? >> Ċ Ċ fun Ġ< T > Ġbar () Ġwhere ĠT Ġ: ĠD < A >, ĠT Ġ: ĠD < B > Ġ{} Ċ