module pind.samples.ja.object.object_1; class MusicalInstrument { } class StringInstrument : MusicalInstrument { } class Violin : StringInstrument { } class Guitar : StringInstrument { } void main() { TypeInfo v = typeid(Violin); TypeInfo g = typeid(Guitar); assert(v != g); // ← 2つの型は同じではない }