// ĠOriginal Ġbug : ĠK T - 3 7 0 5 4 Ċ Ċ interface ĠChild < T > Ċ class ĠParent < T > Ġ: ĠChild < T > Ċ Ċ fun Ġ< K > Ġmaterial ize Child (): ĠChild < K > Ġ= ĠTODO () Ċ Ċ fun Ġtest ( p : ĠParent < String >) Ġ{ ĊĠĠĠ Ġval Ġa Ġ= Ġif Ġ( true ) Ġmaterial ize Child () Ġelse Ġp Ġ// ĠError : ĠChild < String > Ġis Ġnot Ġsubtype Ġof ĠParent < String > Ċ } Ċ