package test public trait InheritNotVarargPrimitive : java.lang.Object { public trait Sub : test.InheritNotVarargPrimitive.Super { public abstract override /*1*/ fun foo(/*0*/ p0 : jet.IntArray?) : jet.Unit } public trait Super : java.lang.Object { public abstract fun foo(/*0*/ p0 : jet.IntArray?) : jet.Unit } }