Error (typechecking)
  Type mismatch.
Expected:
  mut<string>
Given:
  mut<int>