Report error on empty array return

**Describe the bug**

An empty array result isn't allowed and we could detect it at compile time.

**To Reproduce**

Steps to reproduce the behavior:

Generate QIR for

```qsharp
operation Main() : Int[] {
use q = Qubit();
MResetZ(q);
[]
}
```

**Expected behavior**

An error is reported

Start by generating QIR for the provided Q# operation and trace where the compiler handles the empty array return and diagnostics. The change is complete when this invalid return produces a compile-time error without affecting valid array returns.

Written by the indexing model from the issue text.