error[E01010]: syntax item restricted to spec contexts
  ┌─ tests/move_check/parser/spec_parsing_implies_fail.move:3:15
  │
3 │       let _ = x ==> x;
  │               ^^^^^^^ `==>` operator only allowed in specifications