update miette to v7.2.0 (#1889)

Closes #1887

Thanks @billti for finding the new `fancy-no-syscall` feature
[introduced to `miette` in
February](zkat/miette#349). As a result of that
change, we can now update to the latest version of `miette` without
breaking our WASM builds. Yay!

Cargo.toml

@@ -54,7 +54,7 @@ indoc = "2.0"
 js-sys = "0.3"
 libfuzzer-sys = "0.4"
 log = "0.4"
-miette = "5"
+miette = { version = "7.2", features = ["fancy-no-syscall"] }
 thiserror = "1.0"
 nalgebra = { version = "0.33" }
 num-bigint = "0.4"

compiler/qsc/Cargo.toml

@@ -13,7 +13,7 @@ license.workspace = true
 clap = { workspace = true, features = ["derive", "cargo"] }
 env_logger = { workspace = true }
 log = { workspace = true }
-miette = { workspace = true, features = ["fancy"] }
+miette = { workspace = true, features = ["fancy-no-syscall"] }
 num-bigint = { workspace = true }
 num-complex = { workspace = true }
 qsc_codegen = { path = "../qsc_codegen" }

compiler/qsc_frontend/src/error.rs

@@ -155,5 +155,5 @@ impl<E: Diagnostic + Sync + Send> SourceCode for WithSource<E> {
 }
 
 fn with_offset(span: &SourceSpan, f: impl FnOnce(usize) -> usize) -> SourceSpan {
-    SourceSpan::new(f(span.offset()).into(), span.len().into())
+    SourceSpan::new(f(span.offset()).into(), span.len())
 }

pip/Cargo.toml

@@ -15,7 +15,7 @@ num-bigint = { workspace = true }
 num-complex = { workspace = true }
 qsc = { path = "../compiler/qsc" }
 resource_estimator = { path = "../resource_estimator" }
-miette = { workspace = true, features = ["fancy"] }
+miette = { workspace = true, features = ["fancy-no-syscall"] }
 rustc-hash = { workspace = true }
 serde_json = { workspace = true }
 

resource_estimator/Cargo.toml

@@ -11,7 +11,7 @@ license.workspace = true
 [dependencies]
 qsc = { path = "../compiler/qsc" }
 thiserror = { workspace = true }
-miette = { workspace = true, features = ["fancy"] }
+miette = { workspace = true, features = ["fancy-no-syscall"] }
 num-bigint = { workspace = true }
 num-complex = { workspace = true }
 rand = { workspace = true }