OSCAT Validation

[99NIMI]

We can compile OSCAT but still have many validation errors.

• [x] The type DWORD 32 is too small to hold a Pointer this validation is OK
• [ ] REF_TO array passing as input => Invalid assignment: cannot assign '...' to '...' should be valid
• Expression is not assignable: these should all be valid
  • [x] Pointer deref assignment => ptr^ := ...
  • [x] Pointer deref array assignment => ptr^[i] := ...
  • [x] Bit access assignment => var.x := ...
  • [x] Array access bit access => arr[i].x := ...
  • [x] Array access bit access(array access) => arr[i].arr2[x] := ...
• Functions:
  • [x] #789
  • [x] Invalid assignment: cannot assign 'BYTE' to 'REAL'
• Generic functions:
  • not standard compliant
  • [x] ANY_BIT passed integer => Invalid type nature for generic argument. INT is no Bit.
  • DWORD - DWORD should not be resolved to DINT
  • [x] #784
  • generic validation
  • [x] SEL ANY passed [DINT, BYTE] => Invalid type nature for generic argument. BYTE is no Any.
  • [x] LIMIT ANY_ELEMENTARY passed [DINT, BYTE, BYTE] => Invalid type nature for generic argument. BYTE is no Elementary.
• Variadic generic functions:
  • generic validation
  • [x] MIN ANY_ELEMENTARY passed [UINT, UINT - 1],[UINT, DINT] => Invalid type nature for generic argument. UINT is no Elementary.

[ghaith]

The issue with assignments should be solved here : https://github.com/PLC-lang/rusty/issues/778 I'll add tests for pointers as well

[99NIMI]

The issues with generic validation should be solved with #780