feat!: Bump hugr to 0.25.0 #1325

aborgna-q · 2025-12-16T13:54:52Z

BREAKING CHANGE: Bumped hugr dependency to 0.25.0
BREAKING CHANGE: Bumped pyo3 dependency to 0.27.2

(Currently pinned to a commit in hugr main, will mark as ready once hugr is released)

tket-qsystem/src/replace_bools.rs

codecov · 2025-12-16T13:59:12Z

Codecov Report

❌ Patch coverage is 88.69048% with 19 lines in your changes missing coverage. Please review.
✅ Project coverage is 79.79%. Comparing base (dcd7f1c) to head (eb3c587).
⚠️ Report is 2 commits behind head on main.

Files with missing lines	Patch %	Lines
qis-compiler/rust/lib.rs	0.00%	5 Missing ⚠️
tket-qsystem/src/replace_bools.rs	92.68%	2 Missing and 1 partial ⚠️
qis-compiler/rust/array.rs	0.00%	2 Missing ⚠️
tket/src/circuit/command.rs	0.00%	2 Missing ⚠️
qis-compiler/rust/utils.rs	0.00%	1 Missing ⚠️
tket-qsystem/src/llvm/qsystem.rs	80.00%	1 Missing ⚠️
tket-qsystem/src/lower_drops.rs	80.00%	0 Missing and 1 partial ⚠️
tket/src/circuit.rs	66.66%	1 Missing ⚠️
tket/src/passes/chunks.rs	66.66%	1 Missing ⚠️
tket/src/serialize/pytket/decoder/subgraph.rs	0.00%	0 Missing and 1 partial ⚠️
... and 1 more

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #1325      +/-   ##
==========================================
+ Coverage   79.70%   79.79%   +0.08%     
==========================================
  Files         160      160              
  Lines       20595    20595              
  Branches    19629    19629              
==========================================
+ Hits        16415    16433      +18     
+ Misses       3198     3183      -15     
+ Partials      982      979       -3

Flag	Coverage Δ
python	`92.92% <ø> (ø)`
qis-compiler	`100.00% <ø> (ø)`

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

hugrbot · 2025-12-16T14:23:19Z

This PR contains breaking changes to the public Rust API.

cargo-semver-checks summary

    Building tket v0.16.0 (current)
error: running cargo-doc on crate 'tket' failed with output:
-----
 Compiling proc-macro2 v1.0.103
 Compiling unicode-ident v1.0.22
 Compiling quote v1.0.42
 Compiling libc v0.2.178
 Compiling serde_core v1.0.228
 Compiling serde v1.0.228
 Compiling memchr v2.7.6
 Compiling shlex v1.3.0
 Compiling syn v2.0.111
 Compiling autocfg v1.5.0
 Compiling jobserver v0.1.34
 Compiling find-msvc-tools v0.1.5
 Compiling cc v1.2.50
 Compiling num-traits v0.2.19
  Checking either v1.15.0
  Checking once_cell v1.21.3
 Compiling version_check v0.9.5
  Checking cfg-if v1.0.4
  Checking equivalent v1.0.2
  Checking hashbrown v0.16.1
 Compiling semver v1.0.27
 Compiling crossbeam-utils v0.8.21
 Compiling aho-corasick v1.1.4
 Compiling regex-syntax v0.8.8
  Checking indexmap v2.12.1
 Compiling regex-automata v0.4.13
 Compiling lazy_static v1.5.0
 Compiling paste v1.0.15
 Compiling thiserror v1.0.69
 Compiling pkg-config v0.3.32
 Compiling radium v0.7.0
 Compiling ident_case v1.0.1
 Compiling strsim v0.11.1
 Compiling zstd-sys v2.0.16+zstd.1.5.7
 Compiling serde_derive v1.0.228
 Compiling thiserror-impl v1.0.69
  Checking tap v1.0.1
 Compiling unicode-segmentation v1.12.0
 Compiling fnv v1.0.7
 Compiling ucd-trie v0.1.7
 Compiling regex v1.12.2
 Compiling pest v2.8.4
 Compiling darling_core v0.21.3
 Compiling convert_case v0.10.0
  Checking wyz v0.5.1
  Checking crossbeam-epoch v0.9.18
 Compiling getrandom v0.3.4
 Compiling rayon-core v1.13.0
 Compiling typeid v1.0.3
  Checking byteorder v1.5.0
  Checking smallvec v1.15.1
 Compiling zerocopy v0.8.31
 Compiling thiserror v2.0.17
 Compiling unicode-xid v0.2.6
 Compiling serde_json v1.0.145
  Checking foldhash v0.1.5
  Checking itoa v1.0.15
  Checking funty v2.0.0
  Checking ryu v1.0.20
  Checking hashbrown v0.15.5
 Compiling derive_more-impl v2.1.0
  Checking bitvec v1.0.1
 Compiling darling_macro v0.21.3
  Checking crossbeam-deque v0.8.6
 Compiling pest_meta v2.8.4
 Compiling thiserror-impl v2.0.17
 Compiling ahash v0.8.12
 Compiling slotmap_fork_lmondada v1.0.8
  Checking fixedbitset v0.5.7
 Compiling winnow v0.7.14
 Compiling heck v0.5.0
 Compiling erased-serde v0.4.9
 Compiling convert_case v0.4.0
  Checking pin-project-lite v0.2.16
 Compiling zstd-safe v7.2.4
 Compiling ref-cast v1.0.25
 Compiling derive_more v0.99.20
 Compiling strum_macros v0.27.2
 Compiling toml_parser v1.0.6+spec-1.1.0
  Checking derive_more v2.1.0
  Checking petgraph v0.8.3
 Compiling pest_generator v2.8.4
 Compiling darling v0.21.3
 Compiling llvm-sys v140.1.3
 Compiling ref-cast-impl v1.0.25
 Compiling serde_derive_internals v0.29.1
 Compiling rustc_version v0.4.1
  Checking itertools v0.14.0
  Checking unicode-width v0.2.2
  Checking rustc-hash v2.1.1
 Compiling toml_datetime v0.7.5+spec-1.1.0
  Checking arrayvec v0.5.2
  Checking typed-arena v2.0.2
 Compiling rustix v1.1.2
 Compiling parking_lot_core v0.9.12
 Compiling cgmath v0.18.0
 Compiling typetag v0.2.21
  Checking pretty v0.12.5
 Compiling toml_edit v0.23.10+spec-1.0.0
 Compiling schemars_derive v1.1.0
 Compiling rstest_macros v0.26.1
 Compiling pest_derive v2.8.4
 Compiling serde_with_macros v3.16.1
  Checking rayon v1.11.0
  Checking strum v0.27.2
  Checking fxhash v0.2.1
  Checking ordered-float v5.1.0
 Compiling typetag-impl v0.2.21
 Compiling delegate v0.13.5
 Compiling tracing-attributes v0.1.31
 Compiling derive-where v1.6.0
  Checking approx v0.4.0
  Checking tracing-core v0.1.36
  Checking smol_str v0.3.4
  Checking itertools v0.13.0
  Checking dyn-clone v1.0.20
  Checking bumpalo v3.19.1
  Checking scopeguard v1.2.0
  Checking allocator-api2 v0.2.21
  Checking base64 v0.22.1
  Checking bitflags v2.10.0
 Compiling syn v1.0.109
  Checking inventory v0.3.21
  Checking utf8-width v0.1.8
  Checking capnp v0.23.1
  Checking linux-raw-sys v0.11.0
 Compiling fixedbitset v0.4.2
 Compiling petgraph v0.6.5
  Checking relrc v0.5.0
 Compiling enum_dispatch v0.3.13
  Checking hugr-model v0.24.3
  Checking html-escape v0.2.13
  Checking hashbrown v0.14.5
  Checking lock_api v0.4.14
  Checking tracing v0.1.44
  Checking schemars v1.1.0
  Checking zstd v0.13.3
  Checking portgraph v0.15.3
  Checking serde_with v3.16.1
 Compiling proc-macro-crate v3.4.0
 Compiling ascent_base v0.8.0
 Compiling futures-macro v0.3.31
 Compiling derive-syn-parse v0.2.0
  Checking slab v0.4.11
  Checking futures-task v0.3.31
 Compiling duplicate v2.0.1
  Checking static_assertions v1.1.0
  Checking pin-utils v0.1.0
 Compiling relative-path v1.9.3
  Checking downcast-rs v2.0.2
  Checking fastrand v2.3.0
 Compiling pastey v0.1.1
 Compiling inkwell v0.6.0
 Compiling glob v0.3.3
  Checking futures-core v0.3.31
 Compiling anyhow v1.0.100
  Checking hugr-core v0.24.3
 Compiling ascent_macro v0.8.0
  Checking futures-util v0.3.31
  Checking tempfile v3.23.0
  Checking dashmap v5.5.3
 Compiling inkwell_internals v0.11.0
  Checking console v0.15.11
  Checking instant v0.1.13
 Compiling hugr-llvm v0.24.3
  Checking boxcar v0.1.0
  Checking futures-timer v3.0.3
  Checking similar v2.7.0
  Checking insta v1.45.0
  Checking rstest v0.26.1
  Checking ascent v0.8.0
 Compiling delegate v0.10.0
  Checking num-integer v0.1.46
  Checking context-iterators v0.2.0
  Checking hugr-passes v0.24.3
  Checking num-bigint v0.4.6
  Checking portgraph v0.8.0
  Checking uuid v1.19.0
  Checking rmp v0.8.14
  Checking csv-core v0.1.13
  Checking itertools v0.10.5
  Checking iana-time-zone v0.1.64
  Checking bimap v0.6.3
  Checking rustc-hash v1.1.0
  Checking chrono v0.4.42
  Checking rmp-serde v1.3.0
  Checking csv v1.4.0
  Checking portmatching v0.3.3
  Checking tket-json-rs v0.8.0
  Checking num-rational v0.4.2
  Checking crossbeam-channel v0.5.15
  Checking priority-queue v2.7.0
  Checking bytemuck v1.24.0
  Checking hugr v0.24.3
Documenting tket v0.16.0 (/home/runner/work/tket2/tket2/PR_BRANCH/tket)
error[E0432]: unresolved import `hugr::metadata`
--> /home/runner/work/tket2/tket2/PR_BRANCH/tket/src/circuit/command.rs:9:11
|
9 | use hugr::metadata::Metadata;
|           ^^^^^^^^ could not find `metadata` in `hugr`

error[E0432]: unresolved import `hugr::metadata`
--> /home/runner/work/tket2/tket2/PR_BRANCH/tket/src/rewrite/trace.rs:6:11
|
6 | use hugr::metadata::RawMetadataValue;
|           ^^^^^^^^ could not find `metadata` in `hugr`

error[E0412]: cannot find type `WriteError` in module `hugr::envelope`
--> /home/runner/work/tket2/tket2/PR_BRANCH/tket/src/serialize.rs:32:37
 |
32 |     ) -> Result<(), hugr::envelope::WriteError> {
 |                                     ^^^^^^^^^^ not found in `hugr::envelope`

error[E0412]: cannot find type `WriteError` in module `hugr::envelope`
--> /home/runner/work/tket2/tket2/PR_BRANCH/tket/src/serialize.rs:39:87
 |
39 |     pub fn store_str(&self, config: EnvelopeConfig) -> Result<String, hugr::envelope::WriteError> {
 |                                                                                       ^^^^^^^^^^ not found in `hugr::envelope`

error[E0220]: associated type `Type` not found for `M`
 --> /home/runner/work/tket2/tket2/PR_BRANCH/tket/src/circuit/command.rs:162:54
  |
162 |     pub fn metadata<M: Metadata>(&self) -> Option<M::Type<'_>> {
  |                                                      ^^^^ associated type `Type` not found

error[E0053]: method `extension_ref` has an incompatible type for trait
 --> /home/runner/work/tket2/tket2/PR_BRANCH/tket/src/extension/bool.rs:187:32
  |
187 |     fn extension_ref(&self) -> Arc<Extension> {
  |                                ^^^^^^^^^^^^^^ expected `std::sync::Weak<hugr::Extension>`, found `std::sync::Arc<hugr::Extension>`
  |
  = note: expected signature `fn(&extension::bool::BoolOp) -> std::sync::Weak<hugr::Extension>`
             found signature `fn(&extension::bool::BoolOp) -> std::sync::Arc<hugr::Extension>`
help: change the output type to match the trait
  |
187 -     fn extension_ref(&self) -> Arc<Extension> {
187 +     fn extension_ref(&self) -> std::sync::Weak<hugr::Extension> {
  |

error[E0053]: method `extension_ref` has an incompatible type for trait
 --> /home/runner/work/tket2/tket2/PR_BRANCH/tket/src/extension/debug.rs:144:32
  |
144 |     fn extension_ref(&self) -> Arc<Extension> {
  |                                ^^^^^^^^^^^^^^ expected `std::sync::Weak<hugr::Extension>`, found `std::sync::Arc<hugr::Extension>`
  |
  = note: expected signature `fn(&extension::debug::StateResult) -> std::sync::Weak<hugr::Extension>`
             found signature `fn(&extension::debug::StateResult) -> std::sync::Arc<hugr::Extension>`
help: change the output type to match the trait
  |
144 -     fn extension_ref(&self) -> Arc<Extension> {
144 +     fn extension_ref(&self) -> std::sync::Weak<hugr::Extension> {
  |

error[E0053]: method `extension_ref` has an incompatible type for trait
 --> /home/runner/work/tket2/tket2/PR_BRANCH/tket/src/extension/global_phase.rs:110:32
  |
110 |     fn extension_ref(&self) -> Arc<hugr::Extension> {
  |                                ^^^^^^^^^^^^^^^^^^^^ expected `std::sync::Weak<hugr::Extension>`, found `std::sync::Arc<hugr::Extension>`
  |
  = note: expected signature `fn(&extension::global_phase::GlobalPhase) -> std::sync::Weak<hugr::Extension>`
             found signature `fn(&extension::global_phase::GlobalPhase) -> std::sync::Arc<hugr::Extension>`
help: change the output type to match the trait
  |
110 -     fn extension_ref(&self) -> Arc<hugr::Extension> {
110 +     fn extension_ref(&self) -> std::sync::Weak<hugr::Extension> {
  |

error[E0053]: method `extension_ref` has an incompatible type for trait
 --> /home/runner/work/tket2/tket2/PR_BRANCH/tket/src/extension/rotation.rs:199:32
  |
199 |     fn extension_ref(&self) -> Arc<Extension> {
  |                                ^^^^^^^^^^^^^^ expected `std::sync::Weak<hugr::Extension>`, found `std::sync::Arc<hugr::Extension>`
  |
  = note: expected signature `fn(&extension::rotation::RotationOp) -> std::sync::Weak<hugr::Extension>`
             found signature `fn(&extension::rotation::RotationOp) -> std::sync::Arc<hugr::Extension>`
help: change the output type to match the trait
  |
199 -     fn extension_ref(&self) -> Arc<Extension> {
199 +     fn extension_ref(&self) -> std::sync::Weak<hugr::Extension> {
  |

error[E0053]: method `extension_ref` has an incompatible type for trait
 --> /home/runner/work/tket2/tket2/PR_BRANCH/tket/src/extension/sympy.rs:115:32
  |
115 |     fn extension_ref(&self) -> Arc<Extension> {
  |                                ^^^^^^^^^^^^^^ expected `std::sync::Weak<hugr::Extension>`, found `std::sync::Arc<hugr::Extension>`
  |
  = note: expected signature `fn(&extension::sympy::SympyOp) -> std::sync::Weak<hugr::Extension>`
             found signature `fn(&extension::sympy::SympyOp) -> std::sync::Arc<hugr::Extension>`
help: change the output type to match the trait
  |
115 -     fn extension_ref(&self) -> Arc<Extension> {
115 +     fn extension_ref(&self) -> std::sync::Weak<hugr::Extension> {
  |

error[E0053]: method `extension_ref` has an incompatible type for trait
 --> /home/runner/work/tket2/tket2/PR_BRANCH/tket/src/ops.rs:315:32
  |
315 |     fn extension_ref(&self) -> Arc<hugr::Extension> {
  |                                ^^^^^^^^^^^^^^^^^^^^ expected `std::sync::Weak<hugr::Extension>`, found `std::sync::Arc<hugr::Extension>`
  |
  = note: expected signature `fn(&ops::TketOp) -> std::sync::Weak<hugr::Extension>`
             found signature `fn(&ops::TketOp) -> std::sync::Arc<hugr::Extension>`
help: change the output type to match the trait
  |
315 -     fn extension_ref(&self) -> Arc<hugr::Extension> {
315 +     fn extension_ref(&self) -> std::sync::Weak<hugr::Extension> {
  |

Some errors have detailed explanations: E0053, E0220, E0412, E0432.
For more information about an error, try `rustc --explain E0053`.
error: could not document `tket`

-----

error: failed to build rustdoc for crate tket v0.16.0
note: this is usually due to a compilation error in the crate,
    and is unlikely to be a bug in cargo-semver-checks
note: the following command can be used to reproduce the error:
    cargo new --lib example &&
        cd example &&
        echo '[workspace]' >> Cargo.toml &&
        cargo add --path /home/runner/work/tket2/tket2/PR_BRANCH/tket --features binary-eccs,default,llvm,portmatching,rewrite-tracing &&
        cargo check &&
        cargo doc

  Building tket-qsystem v0.22.0 (current)
error: running cargo-doc on crate 'tket-qsystem' failed with output:
-----
 Compiling proc-macro2 v1.0.103
 Compiling quote v1.0.42
 Compiling unicode-ident v1.0.22
 Compiling libc v0.2.178
 Compiling serde_core v1.0.228
 Compiling memchr v2.7.6
 Compiling find-msvc-tools v0.1.5
 Compiling syn v2.0.111
  Checking once_cell v1.21.3
 Compiling shlex v1.3.0
 Compiling jobserver v0.1.34
  Checking cfg-if v1.0.4
 Compiling cc v1.2.50
 Compiling autocfg v1.5.0
 Compiling serde v1.0.228
 Compiling version_check v0.9.5
 Compiling num-traits v0.2.19
  Checking either v1.15.0
 Compiling heck v0.5.0
 Compiling semver v1.0.27
 Compiling crossbeam-utils v0.8.21
 Compiling aho-corasick v1.1.4
 Compiling hashbrown v0.16.1
 Compiling regex-syntax v0.8.8
 Compiling equivalent v1.0.2
 Compiling indexmap v2.12.1
 Compiling lazy_static v1.5.0
 Compiling regex-automata v0.4.13
 Compiling pkg-config v0.3.32
 Compiling zstd-sys v2.0.16+zstd.1.5.7
 Compiling strsim v0.11.1
 Compiling ucd-trie v0.1.7
 Compiling serde_derive v1.0.228
 Compiling getrandom v0.3.4
 Compiling ident_case v1.0.1
  Checking smallvec v1.15.1
 Compiling fnv v1.0.7
 Compiling unicode-segmentation v1.12.0
  Checking unicode-width v0.2.2
 Compiling darling_core v0.21.3
 Compiling convert_case v0.10.0
 Compiling regex v1.12.2
 Compiling pest v2.8.4
  Checking crossbeam-epoch v0.9.18
 Compiling typeid v1.0.3
  Checking foldhash v0.1.5
 Compiling thiserror v1.0.69
 Compiling thiserror v2.0.17
 Compiling radium v0.7.0
  Checking ryu v1.0.20
 Compiling rayon-core v1.13.0
 Compiling serde_json v1.0.145
 Compiling zerocopy v0.8.31
 Compiling paste v1.0.15
 Compiling unicode-xid v0.2.6
  Checking itoa v1.0.15
 Compiling derive_more-impl v2.1.0
 Compiling darling_macro v0.21.3
  Checking hashbrown v0.15.5
  Checking crossbeam-deque v0.8.6
 Compiling pest_meta v2.8.4
 Compiling thiserror-impl v2.0.17
 Compiling thiserror-impl v1.0.69
 Compiling ahash v0.8.12
 Compiling slotmap_fork_lmondada v1.0.8
  Checking tracing-core v0.1.36
 Compiling zstd-safe v7.2.4
 Compiling erased-serde v0.4.9
  Checking tap v1.0.1
  Checking pin-project-lite v0.2.16
  Checking fixedbitset v0.5.7
 Compiling ref-cast v1.0.25
 Compiling rustix v1.1.2
 Compiling winnow v0.7.14
  Checking petgraph v0.8.3
  Checking derive_more v2.1.0
  Checking wyz v0.5.1
 Compiling pest_generator v2.8.4
 Compiling toml_parser v1.0.6+spec-1.1.0
 Compiling darling v0.21.3
 Compiling llvm-sys v140.1.3
 Compiling strum_macros v0.27.2
 Compiling ref-cast-impl v1.0.25
 Compiling serde_derive_internals v0.29.1
 Compiling rustc_version v0.4.1
  Checking itertools v0.14.0
  Checking typed-arena v2.0.2
  Checking byteorder v1.5.0
 Compiling convert_case v0.4.0
  Checking bitflags v2.10.0
 Compiling parking_lot_core v0.9.12
  Checking arrayvec v0.5.2
  Checking rustc-hash v2.1.1
  Checking linux-raw-sys v0.11.0
 Compiling typetag v0.2.21
 Compiling cgmath v0.18.0
 Compiling toml_datetime v0.7.5+spec-1.1.0
  Checking funty v2.0.0
 Compiling toml_edit v0.23.10+spec-1.0.0
  Checking bitvec v1.0.1
  Checking pretty v0.12.5
 Compiling derive_more v0.99.20
  Checking fxhash v0.2.1
  Checking strum v0.27.2
 Compiling schemars_derive v1.1.0
 Compiling rstest_macros v0.26.1
 Compiling serde_with_macros v3.16.1
  Checking rayon v1.11.0
 Compiling pest_derive v2.8.4
  Checking ordered-float v5.1.0
 Compiling typetag-impl v0.2.21
 Compiling delegate v0.13.5
 Compiling derive-where v1.6.0
 Compiling tracing-attributes v0.1.31
  Checking approx v0.4.0
  Checking itertools v0.13.0
  Checking smol_str v0.3.4
  Checking allocator-api2 v0.2.21
  Checking inventory v0.3.21
  Checking dyn-clone v1.0.20
  Checking utf8parse v0.2.2
  Checking scopeguard v1.2.0
  Checking base64 v0.22.1
 Compiling fixedbitset v0.4.2
  Checking capnp v0.23.1
  Checking utf8-width v0.1.8
  Checking bumpalo v3.19.1
  Checking fastrand v2.3.0
  Checking tempfile v3.23.0
  Checking relrc v0.5.0
  Checking html-escape v0.2.13
 Compiling petgraph v0.6.5
 Compiling enum_dispatch v0.3.13
  Checking hugr-model v0.24.3
  Checking lock_api v0.4.14
  Checking anstyle-parse v0.2.7
  Checking schemars v1.1.0
  Checking hashbrown v0.14.5
  Checking tracing v0.1.44
  Checking portgraph v0.15.3
  Checking zstd v0.13.3
  Checking serde_with v3.16.1
 Compiling proc-macro-crate v3.4.0
 Compiling ascent_base v0.8.0
 Compiling derive-syn-parse v0.2.0
 Compiling futures-macro v0.3.31
 Compiling anyhow v1.0.100
  Checking is_terminal_polyfill v1.70.2
 Compiling glob v0.3.3
  Checking downcast-rs v2.0.2
 Compiling relative-path v1.9.3
  Checking slab v0.4.11
  Checking pin-utils v0.1.0
  Checking anstyle-query v1.1.5
  Checking static_assertions v1.1.0
  Checking futures-core v0.3.31
 Compiling inkwell v0.6.0
  Checking anstyle v1.0.13
 Compiling duplicate v2.0.1
  Checking colorchoice v1.0.4
 Compiling pastey v0.1.1
  Checking futures-task v0.3.31
  Checking anstream v0.6.21
  Checking futures-util v0.3.31
  Checking hugr-core v0.24.3
 Compiling ascent_macro v0.8.0
  Checking dashmap v5.5.3
 Compiling inkwell_internals v0.11.0
 Compiling hugr-llvm v0.24.3
  Checking console v0.15.11
  Checking instant v0.1.13
  Checking boxcar v0.1.0
  Checking futures-timer v3.0.3
  Checking similar v2.7.0
  Checking clap_lex v0.7.6
  Checking clap_builder v4.5.53
  Checking insta v1.45.0
  Checking ascent v0.8.0
  Checking rstest v0.26.1
 Compiling clap_derive v4.5.49
 Compiling proc-macro-error-attr2 v2.0.0
  Checking log v0.4.29
 Compiling proc-macro-error2 v2.0.1
  Checking num-integer v0.1.46
  Checking same-file v1.0.6
  Checking bytecount v0.6.9
  Checking walkdir v2.5.0
  Checking papergrid v0.17.0
  Checking num-bigint v0.4.6
  Checking hugr-passes v0.24.3
  Checking clap v4.5.53
 Compiling tabled_derive v0.11.0
  Checking tracing-log v0.2.0
  Checking sharded-slab v0.1.7
  Checking uuid v1.19.0
  Checking testing_table v0.3.0
  Checking csv-core v0.1.13
  Checking is-terminal v0.4.17
  Checking thread_local v1.1.9
  Checking iana-time-zone v0.1.64
  Checking nu-ansi-term v0.50.3
  Checking chrono v0.4.42
  Checking tracing-subscriber v0.3.22
  Checking csv v1.4.0
  Checking clio v0.3.5
  Checking tabled v0.20.0
  Checking tket-json-rs v0.8.0
  Checking num-rational v0.4.2
  Checking clap-verbosity-flag v3.0.4
  Checking priority-queue v2.7.0
  Checking crossbeam-channel v0.5.15
  Checking bytemuck v1.24.0
  Checking hugr v0.24.3
  Checking hugr-cli v0.24.3
  Checking tket v0.16.0 (/home/runner/work/tket2/tket2/PR_BRANCH/tket)
error[E0432]: unresolved import `hugr::metadata`
--> /home/runner/work/tket2/tket2/PR_BRANCH/tket/src/circuit/command.rs:9:11
|
9 | use hugr::metadata::Metadata;
|           ^^^^^^^^ could not find `metadata` in `hugr`

error[E0432]: unresolved import `hugr::metadata`
--> /home/runner/work/tket2/tket2/PR_BRANCH/tket/src/rewrite/trace.rs:6:11
|
6 | use hugr::metadata::RawMetadataValue;
|           ^^^^^^^^ could not find `metadata` in `hugr`

error[E0412]: cannot find type `WriteError` in module `hugr::envelope`
--> /home/runner/work/tket2/tket2/PR_BRANCH/tket/src/serialize.rs:32:37
 |
32 |     ) -> Result<(), hugr::envelope::WriteError> {
 |                                     ^^^^^^^^^^ not found in `hugr::envelope`

error[E0412]: cannot find type `WriteError` in module `hugr::envelope`
--> /home/runner/work/tket2/tket2/PR_BRANCH/tket/src/serialize.rs:39:87
 |
39 |     pub fn store_str(&self, config: EnvelopeConfig) -> Result<String, hugr::envelope::WriteError> {
 |                                                                                       ^^^^^^^^^^ not found in `hugr::envelope`

error[E0220]: associated type `Type` not found for `M`
 --> /home/runner/work/tket2/tket2/PR_BRANCH/tket/src/circuit/command.rs:162:54
  |
162 |     pub fn metadata<M: Metadata>(&self) -> Option<M::Type<'_>> {
  |                                                      ^^^^ associated type `Type` not found

error[E0053]: method `extension_ref` has an incompatible type for trait
 --> /home/runner/work/tket2/tket2/PR_BRANCH/tket/src/extension/bool.rs:187:32
  |
187 |     fn extension_ref(&self) -> Arc<Extension> {
  |                                ^^^^^^^^^^^^^^ expected `ArcWeak<hugr::Extension>`, found `Arc<hugr::Extension>`
  |
  = note: expected signature `fn(&BoolOp) -> ArcWeak<hugr::Extension>`
             found signature `fn(&BoolOp) -> Arc<hugr::Extension>`
help: change the output type to match the trait
  |
187 -     fn extension_ref(&self) -> Arc<Extension> {
187 +     fn extension_ref(&self) -> ArcWeak<hugr::Extension> {
  |

error[E0053]: method `extension_ref` has an incompatible type for trait
 --> /home/runner/work/tket2/tket2/PR_BRANCH/tket/src/extension/debug.rs:144:32
  |
144 |     fn extension_ref(&self) -> Arc<Extension> {
  |                                ^^^^^^^^^^^^^^ expected `ArcWeak<hugr::Extension>`, found `Arc<hugr::Extension>`
  |
  = note: expected signature `fn(&StateResult) -> ArcWeak<hugr::Extension>`
             found signature `fn(&StateResult) -> Arc<hugr::Extension>`
help: change the output type to match the trait
  |
144 -     fn extension_ref(&self) -> Arc<Extension> {
144 +     fn extension_ref(&self) -> ArcWeak<hugr::Extension> {
  |

error[E0053]: method `extension_ref` has an incompatible type for trait
 --> /home/runner/work/tket2/tket2/PR_BRANCH/tket/src/extension/global_phase.rs:110:32
  |
110 |     fn extension_ref(&self) -> Arc<hugr::Extension> {
  |                                ^^^^^^^^^^^^^^^^^^^^ expected `ArcWeak<hugr::Extension>`, found `Arc<hugr::Extension>`
  |
  = note: expected signature `fn(&GlobalPhase) -> ArcWeak<hugr::Extension>`
             found signature `fn(&GlobalPhase) -> Arc<hugr::Extension>`
help: change the output type to match the trait
  |
110 |     fn extension_ref(&self) -> ArcWeak<hugr::Extension> {
  |                                   ++++

error[E0053]: method `extension_ref` has an incompatible type for trait
 --> /home/runner/work/tket2/tket2/PR_BRANCH/tket/src/extension/rotation.rs:199:32
  |
199 |     fn extension_ref(&self) -> Arc<Extension> {
  |                                ^^^^^^^^^^^^^^ expected `ArcWeak<hugr::Extension>`, found `Arc<hugr::Extension>`
  |
  = note: expected signature `fn(&RotationOp) -> ArcWeak<hugr::Extension>`
             found signature `fn(&RotationOp) -> Arc<hugr::Extension>`
help: change the output type to match the trait
  |
199 -     fn extension_ref(&self) -> Arc<Extension> {
199 +     fn extension_ref(&self) -> ArcWeak<hugr::Extension> {
  |

error[E0053]: method `extension_ref` has an incompatible type for trait
 --> /home/runner/work/tket2/tket2/PR_BRANCH/tket/src/extension/sympy.rs:115:32
  |
115 |     fn extension_ref(&self) -> Arc<Extension> {
  |                                ^^^^^^^^^^^^^^ expected `ArcWeak<hugr::Extension>`, found `Arc<hugr::Extension>`
  |
  = note: expected signature `fn(&SympyOp) -> ArcWeak<hugr::Extension>`
             found signature `fn(&SympyOp) -> Arc<hugr::Extension>`
help: change the output type to match the trait
  |
115 -     fn extension_ref(&self) -> Arc<Extension> {
115 +     fn extension_ref(&self) -> ArcWeak<hugr::Extension> {
  |

error[E0053]: method `extension_ref` has an incompatible type for trait
 --> /home/runner/work/tket2/tket2/PR_BRANCH/tket/src/ops.rs:315:32
  |
315 |     fn extension_ref(&self) -> Arc<hugr::Extension> {
  |                                ^^^^^^^^^^^^^^^^^^^^ expected `ArcWeak<hugr::Extension>`, found `Arc<hugr::Extension>`
  |
  = note: expected signature `fn(&TketOp) -> ArcWeak<hugr::Extension>`
             found signature `fn(&TketOp) -> Arc<hugr::Extension>`
help: change the output type to match the trait
  |
315 |     fn extension_ref(&self) -> ArcWeak<hugr::Extension> {
  |                                   ++++

error[E0599]: no method named `get_metadata_any` found for reference `&T` in the current scope
 --> /home/runner/work/tket2/tket2/PR_BRANCH/tket/src/rewrite/trace.rs:124:14
  |
122 |           let meta = self
  |  ____________________-
123 | |             .hugr()
124 | |             .get_metadata_any(self.parent(), METADATA_REWRITES)?;
  | |_____________-^^^^^^^^^^^^^^^^
  |
help: there is a method `get_metadata` with a similar name
  |
124 -             .get_metadata_any(self.parent(), METADATA_REWRITES)?;
124 +             .get_metadata(self.parent(), METADATA_REWRITES)?;
  |

Some errors have detailed explanations: E0053, E0220, E0412, E0432, E0599.
For more information about an error, try `rustc --explain E0053`.
error: could not compile `tket` (lib) due to 12 previous errors

-----

error: failed to build rustdoc for crate tket-qsystem v0.22.0
note: this is usually due to a compilation error in the crate,
    and is unlikely to be a bug in cargo-semver-checks
note: the following command can be used to reproduce the error:
    cargo new --lib example &&
        cd example &&
        echo '[workspace]' >> Cargo.toml &&
        cargo add --path /home/runner/work/tket2/tket2/PR_BRANCH/tket-qsystem --features cli,default,llvm &&
        cargo check &&
        cargo doc

error: aborting due to failure to build rustdoc for crate tket v0.16.0

aborgna-q added 14 commits December 16, 2025 10:29

feat! Bump hugr to 0.25.0

9fef0b6

drive-by: Fix justfile setup

4060c73

Update envelope / read errors

9ae7961

Update metadata method calls

ee01fea

SiblingSubgraph requires RootChecked

350057b

Extension definitions return an Arc rather than Weak<Extension>

d572aa4

Replace deprecated ReplaceTypes::replace_op

ba45b19

inkwell breaking changes

7944c50

downgrade non-weak extensions

91ead38

pyo3 breaking changes

a193513

More deprecated fns

45d5bc3

More changes/deprecations

4844b87

drop op in replacer

ecea580

rollback one of the replaceTypes fixes

13a21b4

aborgna-q commented Dec 16, 2025

View reviewed changes

tket-qsystem/src/replace_bools.rs Outdated Show resolved Hide resolved

aborgna-q commented Dec 16, 2025

View reviewed changes

tket-qsystem/src/replace_bools.rs Outdated Show resolved Hide resolved

fix unwrap

b8210fa

aborgna-q added 2 commits December 16, 2025 14:35

one fewer deprecated call

76e0059

last deprecated call

2070eb5

aborgna-q mentioned this pull request Dec 17, 2025

feat: Remove order edges in NormalizeGuppy pass #1326

Draft

aborgna-q and others added 2 commits December 17, 2025 12:48

Update snapshots

31e2338

Remove refs to ValueArray/LinearizeArrayPass

eb3c587

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

feat!: Bump hugr to 0.25.0 #1325

feat!: Bump hugr to 0.25.0 #1325

Uh oh!

aborgna-q commented Dec 16, 2025 •

edited

Loading

Uh oh!

Uh oh!

Uh oh!

codecov bot commented Dec 16, 2025 •

edited

Loading

Uh oh!

hugrbot commented Dec 16, 2025 •

edited

Loading

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

4 participants

feat!: Bump hugr to 0.25.0 #1325

Are you sure you want to change the base?

feat!: Bump hugr to 0.25.0 #1325

Uh oh!

Conversation

aborgna-q commented Dec 16, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

Uh oh!

Uh oh!

codecov bot commented Dec 16, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Codecov Report

Uh oh!

hugrbot commented Dec 16, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

4 participants

aborgna-q commented Dec 16, 2025 •

edited

Loading

codecov bot commented Dec 16, 2025 •

edited

Loading

hugrbot commented Dec 16, 2025 •

edited

Loading