Builtin.Int leaking in diagnostics when matching UInt with negative integer literal

[rintaro]

Description

The diagnostic is confusing when matching UInt with negative integer literal

Reproduction

func test(val: UInt) {
  switch val { // error: integer literal '-24' overflows when stored into unsigned 'Builtin.Int64'
  case 12: break
  case -24: break
  default: break
  }
}

Expected behavior

Message should be at least integer literal '-24' overflows when stored into unsigned 'UInt', but preferably more like integer literal '-24' is invalid for unsigned type 'UInt'.
The diagnostic location is also off, it should be on the -24 literal.

Environment

6.2

Additional information

No response

[AlexsanderDamaceno]

@rintaro could you assign me to this bug?

[AlexsanderDamaceno]

@AnthonyLatsis thanks for this, could also give a look at my pr for this issue?