class Matrix {
  constructor() /* primary */ {
    super/*Any*/()
    /* <init>() */

  }

}

interface NumberOperations {
  abstract fun Number.plus(other: Number): Number

}

context($context_receiver_0: NumberOperations)
fun Matrix.plus(other: Matrix): Matrix {
  return TODO()
}

fun NumberOperations.plusMatrix(m1: Matrix, m2: Matrix) {
  plus(/* $context_receiver_0 = <this>, <this> = m1, */ other = m2) /*~> Unit */
  plus(/* $context_receiver_0 = <this>, <this> = m2, */ other = m1) /*~> Unit */
}

