Remove const bool flag from qsc_openqasm_compiler::types::Type

[Copilot]

The Type enum in qsc_openqasm_compiler carried a bool const qualifier on most variants (e.g. Int(bool), Result(bool), BoolArray(ArrayDimensions, bool)). Since Q# has no const bindings, this flag was never meaningful in the Q# type representation and only added noise — requiring a dedicated without_const() method just to normalize types for equality comparisons.

Changes

• types.rs: Strip the bool const parameter from all Type variants; remove without_const().
• compiler.rs:
  • semantic_type_for_qsharp_type: no longer extracts or forwards is_const into Type construction.
  • make_qsharp_array_ty: removes hardcoded false const args.
  • maps_to_same_qsharp_type: simplifies to direct == comparison (the note about ignoring const qualifiers is now moot).
• ast_builder.rs: map_qsharp_type_to_ast_ty updated to match new variant shapes.

// Before
pub enum Type {
    Int(bool),
    Result(bool),
    ResultArray(ArrayDimensions, bool),
    // ...
}

// After
pub enum Type {
    Int,
    Result,
    ResultArray(ArrayDimensions),
    // ...
}

Constness is still read from the OpenQASM parser symbol (symbol.ty.is_const()) where it matters — to decide Q# declaration mutability (let vs mutable) — it just no longer flows into the intermediate Type representation.

---

🔒 GitHub Advanced Security automatically protects Copilot coding agent pull requests. You can protect all pull requests by enabling Advanced Security for your repositories. Learn more about Advanced Security.