Integer patterns do not check for integer size

match 0u8 {
  512 => x
}

compiles but should not