package test

public trait UseParameterAsUpperBound {

    public trait Sub : test.UseParameterAsUpperBound.Super {
        public abstract override /*1*/ fun </*0*/ B, /*1*/ A : B!> foo(/*0*/ a: B!, /*1*/ b: A!): kotlin.Unit
    }

    public trait Super {
        public abstract fun </*0*/ A, /*1*/ B : A!> foo(/*0*/ a: A!, /*1*/ b: B!): kotlin.Unit
    }
}
