The formatter removes explicit type signatures used for bindings inside patterns

[yorickpeterse]

Please describe the bug

Code such as this:

class async Main {
  fn async main {
    match (10, 20) {
      case (a: Int, b: Int) -> {}
    }
  }
}

Is formatted into this:

class async Main {
  fn async main {
    match (10, 20) {
      case (a, b) -> {}
    }
  }
}

This isn't desired because in certain cases the type annotations may in fact be necessary (though this is rare), resulting in a semantic difference between the two bits of code.

inko fmt should be adjusted to retain (but correctly format) any explicit type signatures it finds in binding patterns.

Operating system

Fedora

Inko version

main

[yorickpeterse]

The same happens when you try to define the binding as mutable, so mut foo is turned into foo, which is definitely incorrect.