trait Submatrix[RowIdxTL <: Int, ColIdxTL <: Int, RowIdxBR <: Int, ColIdxBR <: Int, R <: Int, C <: Int, T](using `x$1`: RowIdxTL >= 0 && RowIdxTL + 1 < R && ColIdxTL >= 0 && ColIdxTL + 1 < C && RowIdxBR >= RowIdxTL && RowIdxBR < R && ColIdxBR >= ColIdxTL && ColIdxBR < C =:= true)(using `x$2`: RowIdxBR - RowIdxTL + 1 > 0 && ColIdxBR - ColIdxTL + 1 > 0 =:= true)
- Companion
- object
class Object
trait Matchable
class Any