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
operation Main() : Int[] {
use q = Qubit();
MResetZ(q);
[]
}
Expected behavior
An error is reported
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
Expected behavior
An error is reported