error[E02010]: invalid name
  ┌─ tests/move_check/expansion/invalid_local_name.move:4:11
  │
4 │     fun t(No: u64) {
  │           ^^ Invalid local variable name 'No'. Local variable names must start with 'a'..'z' (or '_')

error[E03005]: unbound unscoped name
  ┌─ tests/move_check/expansion/invalid_local_name.move:5:9
  │
5 │         No;
  │         ^^ Unbound constant 'No'

error[E02010]: invalid name
  ┌─ tests/move_check/expansion/invalid_local_name.move:9:13
  │
9 │         let No;
  │             ^^ Invalid local variable name 'No'. Local variable names must start with 'a'..'z' (or '_')

error[E02010]: invalid name
   ┌─ tests/move_check/expansion/invalid_local_name.move:14:13
   │
14 │         let No = 100;
   │             ^^ Invalid local variable name 'No'. Local variable names must start with 'a'..'z' (or '_')

error[E03005]: unbound unscoped name
   ┌─ tests/move_check/expansion/invalid_local_name.move:15:13
   │
15 │         F { No };
   │             ^^ Unbound constant 'No'

error[E04010]: cannot infer type
   ┌─ tests/move_check/expansion/invalid_local_name.move:19:13
   │
19 │         let _No;
   │             ^^^ Could not infer this type. Try adding an annotation

error[E03011]: invalid use of reserved name
   ┌─ tests/move_check/expansion/invalid_local_name.move:23:13
   │
23 │         let vector;
   │             ^^^^^^ Invalid variable name 'vector'. 'vector' is restricted and cannot be used to name a variable

error[E04010]: cannot infer type
   ┌─ tests/move_check/expansion/invalid_local_name.move:23:13
   │
23 │         let vector;
   │             ^^^^^^ Could not infer this type. Try adding an annotation