// -----

// CHECK-LABEL: @xladot_matmul(
// CHECK-SAME:    %[[LHS:.*]]: tensor<64x32xi8>, %[[RHS:.*]]: tensor<32x16xi8>) -> tensor<64x16xi32>
func.func @xladot_matmul(%lhs : tensor<64x32xi8>, %rhs : tensor<32x16xi8>) -> tensor<64x16xi32> {
  // CHECK: "mhlo.dot_general"(%[[LHS]], %[[RHS]]) <{
  // CHECK-SAME:  dot_dimension_numbers = #mhlo.dot<
  // CHECK-NOT:     lhs_batching_dimensions =

    Value lhs = op.getX();
    Value rhs = op.getY();
    auto lhs_type = mlir::dyn_cast<RankedTensorType>(lhs.getType());
    auto rhs_type = mlir::dyn_cast<RankedTensorType>(rhs.getType());
    if (!lhs_type || !rhs_type) return failure();
    if (mlir::isa<ComplexType>(lhs_type.getElementType()) && op.getAdjX()) {
      lhs = rewriter.create<TF::ConjOp>(op.getLoc(), lhs_type, lhs);
    }

			s.Fatalf("non-intrinsic AS2FUNC not expanded %v", call)
		}
		v := s.intrinsicCall(call)
		v1 := s.newValue1(ssa.OpSelect0, n.Lhs[0].Type(), v)
		v2 := s.newValue1(ssa.OpSelect1, n.Lhs[1].Type(), v)
		s.assign(n.Lhs[0], v1, false, 0)
		s.assign(n.Lhs[1], v2, false, 0)
		return

	case ir.ODCL:
		n := n.(*ir.Decl)
		if v := n.X; v.Esc() == ir.EscHeap {
			s.newHeapaddr(v)
		}

<p>
Type inference solves type equations through <i>type unification</i>.
Type unification recursively compares the LHS and RHS types of an
equation, where either or both types may be or contain bound type parameters,
and looks for type arguments for those type parameters such that the LHS
and RHS match (become identical or assignment-compatible, depending on
context).

    </magic>
    <!-- FESS added -->
    <glob pattern="*.lha"/>
    <glob pattern="*.lzh"/>
  </mime-type>

  <mime-type type="application/x-lharc">
    <magic priority="50">
      <match value="-lh0-" type="string" offset="2"/>
      <match value="-lh1-" type="string" offset="2"/>
      <match value="-lz4-" type="string" offset="2"/>
      <match value="-lz5-" type="string" offset="2"/>
    </magic>

- [`KT-61454`](https://youtrack.jetbrains.com/issue/KT-61454) K1: False positive WRONG_NUMBER_OF_TYPE_ARGUMENTS when typealias is LHS of class literal
- [`KT-60252`](https://youtrack.jetbrains.com/issue/KT-60252) K2: Supertype argument is not substituted in fake override receivers and value parameters