codegen/mir: support polymorphic InstanceDefs
#69935
+102
−83
Merged