From b1ba49f97913484e3da0e80ce7a4036a70037bdf Mon Sep 17 00:00:00 2001 From: gunbc-ci-auto-heal Date: Sun, 23 Aug 2026 11:50:49 +0000 Subject: [PATCH] Retain the 03_ingest emission board at the first main SHA whose floor reports failed=0 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The board has been unmeasurable for most of today: a §4c annotation inside a match body refused the compiler at strict preparation from 04:30 until #8989 landed, so every measurement taken in that window carries no information about anything downstream. Main is now repaired -- #8998, #8987 and #8992 partitioned the eight width failures disjointly -- and run 32633501354 at 907f19c2cc7 is the first floor run reporting failed=0, so that SHA is the pinned subject. The log is retained rather than the counts alone. Classification over a board is repartitioned many times; rebuilding the compiler and re-emitting for each pass pays the expensive transaction once per iteration instead of once. With the log in the tree, every later classification is offline analysis over a fixed artifact, and the artifact carries the SHA that produced it so a count can never drift from its subject. 316 coded errors, identical to the certified board at 98b18cdc, histogram identical position for position. That identity is the shape this fleet has learned to distrust first, so it is recorded with its discriminators: the binary was rebuilt from this tree (PROV_BIN_BEFORE=0), the row carries this SHA, and the log bytes differ across all three runs taken today (234165 / 234279 / 234163, three distinct digests) while the error population does not. A run that did not execute cannot produce a byte-different log with the same population. The README states which of four available counts answers which question. 503 is the emitter's diagnostics including warnings; 316 is coded rustc errors by direct grep; 330 and 331 are the probe's histogram sums. Quoting one where another was measured is the unit error that made two separate boards unsound earlier in this program. Co-Authored-By: Claude Opus 5 (1M context) --- .../board_907f19c2cc7/03_ingest.cargo.log | 4731 +++++++++++++++++ docs/probes/board_907f19c2cc7/README.md | 67 + 2 files changed, 4798 insertions(+) create mode 100644 docs/probes/board_907f19c2cc7/03_ingest.cargo.log create mode 100644 docs/probes/board_907f19c2cc7/README.md diff --git a/docs/probes/board_907f19c2cc7/03_ingest.cargo.log b/docs/probes/board_907f19c2cc7/03_ingest.cargo.log new file mode 100644 index 00000000000..1daf88db978 --- /dev/null +++ b/docs/probes/board_907f19c2cc7/03_ingest.cargo.log @@ -0,0 +1,4731 @@ + Updating crates.io index + Locking 121 packages to latest compatible versions + Adding generic-array v0.14.7 (available: v0.14.9) + Compiling proc-macro2 v1.0.107 + Compiling unicode-ident v1.0.24 + Compiling quote v1.0.47 + Compiling find-msvc-tools v0.1.11 + Compiling shlex v2.0.1 + Compiling stable_deref_trait v1.2.1 + Compiling serde_core v1.0.229 + Compiling version_check v0.9.5 + Compiling cc v1.4.4 + Compiling cfg-if v1.0.4 + Compiling typenum v1.20.1 + Compiling serde v1.0.229 + Compiling writeable v0.6.4 + Compiling libc v0.2.189 + Compiling litemap v0.8.3 + Compiling icu_properties_data v2.3.0 + Compiling object v0.39.1 + Compiling syn v3.0.3 + Compiling syn v2.0.119 + Compiling utf8_iter v1.0.4 + Compiling icu_normalizer_data v2.3.0 + Compiling generic-array v0.14.7 + Compiling memchr v2.8.3 + Compiling ring v0.17.14 + Compiling zeroize v1.9.0 + Compiling rustls-pki-types v1.15.1 + Compiling smallvec v1.15.2 + Compiling synstructure v0.13.2 + Compiling getrandom v0.2.17 + Compiling untrusted v0.9.0 + Compiling utf8parse v0.2.2 + Compiling crc32fast v1.5.1 + Compiling zmij v1.0.23 + Compiling anstyle-parse v1.0.0 + Compiling serde_json v1.0.151 + Compiling zerofrom-derive v0.1.7 + Compiling yoke-derive v0.8.2 + Compiling anstyle-query v1.1.5 + Compiling simd-adler32 v0.3.10 + Compiling zerofrom v0.1.8 + Compiling is_terminal_polyfill v1.70.2 + Compiling yoke v0.8.3 + Compiling adler2 v2.0.1 + Compiling percent-encoding v2.3.2 + Compiling rustls v0.23.43 + Compiling hashbrown v0.17.1 + Compiling anstyle v1.0.14 + Compiling equivalent v1.0.2 + Compiling colorchoice v1.0.5 + Compiling anstream v1.0.0 + Compiling form_urlencoded v1.2.2 + Compiling ar_archive_writer v0.5.3 + Compiling zerovec-derive v0.11.6 + Compiling displaydoc v0.2.7 + Compiling serde_derive v1.0.229 + Compiling indexmap v2.14.0 + Compiling zerotrie v0.2.5 + Compiling psm v0.1.32 + Compiling miniz_oxide v0.8.9 + Compiling zerovec v0.11.8 + Compiling block-buffer v0.10.4 + Compiling crypto-common v0.1.7 + Compiling webpki-roots v1.0.9 + Compiling stacker v0.1.25 + Compiling bitmaps v2.1.0 + Compiling im v15.1.0 + Compiling tinystr v0.8.4 + Compiling potential_utf v0.1.6 + Compiling icu_locale_core v2.3.0 + Compiling icu_collections v2.3.0 + Compiling log v0.4.34 + Compiling itoa v1.0.18 + Compiling rand_core v0.6.4 + Compiling once_cell v1.21.4 + Compiling strsim v0.11.1 + Compiling subtle v2.6.1 + Compiling clap_lex v1.1.0 + Compiling heck v0.5.0 + Compiling icu_provider v2.3.1 + Compiling toml_write v0.1.2 + Compiling icu_normalizer v2.3.0 + Compiling icu_properties v2.3.0 + Compiling toml_datetime v0.6.11 + Compiling serde_spanned v0.6.9 + Compiling winnow v0.7.15 + Compiling idna_adapter v1.2.2 + Compiling idna v1.1.0 + Compiling url v2.5.8 + Compiling clap_derive v4.6.4 + Compiling rustls-webpki v0.103.15 + Compiling toml_edit v0.22.27 + Compiling clap_builder v4.6.6 + Compiling rand_xoshiro v0.6.0 + Compiling sized-chunks v0.6.5 + Compiling webpki-roots v0.26.11 + Compiling digest v0.10.7 + Compiling flate2 v1.1.9 + Compiling cpufeatures v0.2.17 + Compiling v1-compiler v0.1.0 (/root/workspace/repo-root/src/v1/stage0) + Compiling base64 v0.22.1 + Compiling sha2 v0.10.9 + Compiling clap v4.6.6 + Compiling toml v0.8.23 + Compiling unicode-properties v0.1.4 + Compiling lazy_static v1.5.0 + Compiling ureq v2.12.1 + Compiling v1_compiled v0.1.0 (/tmp/cssl-probe.NxqLgL) +error: unsupported mock expression + --> src/std_realization_width.rs:262:13 + | +262 | compile_error!("unsupported mock expression") + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + +error: unsupported mock expression + --> src/std_realization_width.rs:271:13 + | +271 | compile_error!("unsupported mock expression") + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + +error: unsupported mock expression + --> src/std_realization_width.rs:280:13 + | +280 | compile_error!("unsupported mock expression") + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + +error: unsupported mock expression + --> src/std_realization_width.rs:289:13 + | +289 | compile_error!("unsupported mock expression") + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + +error: unsupported mock expression + --> src/std_realization_width.rs:298:13 + | +298 | compile_error!("unsupported mock expression") + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + +error: unsupported mock expression + --> src/std_realization_width.rs:307:13 + | +307 | compile_error!("unsupported mock expression") + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + +error: unsupported mock expression + --> src/std_realization_width.rs:316:13 + | +316 | compile_error!("unsupported mock expression") + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + +error: unsupported mock expression + --> src/std_realization_width.rs:325:13 + | +325 | compile_error!("unsupported mock expression") + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + +error: unsupported mock expression + --> src/v2_lens_determinism.rs:67:13 + | +67 | compile_error!("unsupported mock expression") + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + +error: unsupported mock expression + --> src/v2_lens_determinism.rs:76:13 + | +76 | compile_error!("unsupported mock expression") + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + +error: UNRESOLVED_CompilerError + --> src/v2_std_grammar.rs:1364:31 + | +1364 | Rc::new(Witness::::Holds { + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + +error: unsupported mock expression + --> src/v2_lens_cost_copied_port_citations.rs:236:13 + | +236 | compile_error!("unsupported mock expression") + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + +error: unsupported mock expression + --> src/v2_lens_cost_copied_port_citations.rs:245:13 + | +245 | compile_error!("unsupported mock expression") + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + +error: unsupported mock expression + --> src/v2_lens_cost_copied_port_citations.rs:254:13 + | +254 | compile_error!("unsupported mock expression") + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + +error[E0433]: cannot find type `Behavior` in this scope + --> src/v2_lens_complexity_accumulator_copy_analyze.rs:440:43 + | +440 | NodeKind::ComputationNode { behavior: Behavior::Transform, .. } => node.children.clone().iter().clone... + | ^^^^^^^^ use of undeclared type `Behavior` + | +help: consider importing this enum through its public re-export + | + 4 + use crate::v2_compiler_translate::Behavior; + | + +error[E0433]: cannot find type `Behavior` in this scope + --> src/v2_lens_complexity_accumulator_copy_analyze.rs:479:43 + | +479 | NodeKind::ComputationNode { behavior: Behavior::Transform, .. } => node.children.clone().iter().clone... + | ^^^^^^^^ use of undeclared type `Behavior` + | +help: consider importing this enum through its public re-export + | + 4 + use crate::v2_compiler_translate::Behavior; + | + +error[E0433]: cannot find type `Behavior` in this scope + --> src/v2_lens_complexity_accumulator_copy_analyze.rs:503:43 + | +503 | NodeKind::ComputationNode { behavior: Behavior::Loop, .. } => match (*loop_carrier_binder_target(node... + | ^^^^^^^^ use of undeclared type `Behavior` + | +help: consider importing this enum through its public re-export + | + 4 + use crate::v2_compiler_translate::Behavior; + | + +error[E0433]: cannot find type `Behavior` in this scope + --> src/v2_lens_complexity_accumulator_copy_analyze.rs:538:43 + | +538 | NodeKind::ComputationNode { behavior: Behavior::Loop, .. } => analyze_lowered_loop(node.clone(), carr... + | ^^^^^^^^ use of undeclared type `Behavior` + | +help: consider importing this enum through its public re-export + | + 4 + use crate::v2_compiler_translate::Behavior; + | + +error[E0433]: cannot find type `Behavior` in this scope + --> src/v2_lens_complexity_accumulator_copy_analyze.rs:539:43 + | +539 | NodeKind::ComputationNode { behavior: Behavior::Transform, .. } => match lowered_transform_combiner_o... + | ^^^^^^^^ use of undeclared type `Behavior` + | +help: consider importing this enum through its public re-export + | + 4 + use crate::v2_compiler_translate::Behavior; + | + +error[E0433]: cannot find type `Behavior` in this scope + --> src/v2_lens_complexity_accumulator_copy_analyze.rs:614:43 + | +614 | NodeKind::ComputationNode { behavior: Behavior::Loop, .. } => if bound_only.clone() { + | ^^^^^^^^ use of undeclared type `Behavior` + | +help: consider importing this enum through its public re-export + | + 4 + use crate::v2_compiler_translate::Behavior; + | + +error[E0433]: cannot find type `Behavior` in this scope + --> src/v2_lens_complexity_accumulator_copy_analyze.rs:655:43 + | +655 | NodeKind::ComputationNode { behavior: Behavior::Loop, .. } => true, + | ^^^^^^^^ use of undeclared type `Behavior` + | +help: consider importing this enum through its public re-export + | + 4 + use crate::v2_compiler_translate::Behavior; + | + +error[E0425]: cannot find function `decl_facts` in this scope + --> src/v2_lens_enforcement_grammar_coverage.rs:143:41 + | +143 | grammar_coverage_distinct_rel_paths(decl_facts(crate::v2_lens_enforcement_standing_intent::whole_corp... + | ^^^^^^^^^^ not found in this scope + | +help: consider importing this function + | + 4 + use crate::v2_std_decl_index::decl_facts; + | + +error[E0425]: cannot find type `Int` in this scope + --> src/v2_std_text.rs:20:26 + | +20 | pub type String = Rc>; + | ^^^ + | + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/convert/mod.rs:451:0 + | + = note: similarly named trait `Into` defined here +help: a trait with a similar name exists + | +20 | pub type String = Rc>; + | + +help: consider importing one of these type aliases + | + 4 + use crate::std_integer::Int; + | + 4 + use crate::v2_lens_complexity_accumulator_copy::Int; + | + +error[E0425]: cannot find type `Int` in this scope + --> src/std_state_durability.rs:329:35 + | +329 | pub type StateDurabilityInstant = Int; + | ^^^ + | + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/convert/mod.rs:451:0 + | + = note: similarly named trait `Into` defined here +help: a trait with a similar name exists + | +329 | pub type StateDurabilityInstant = Into; + | + +help: consider importing one of these type aliases + | + 4 + use crate::std_integer::Int; + | + 4 + use crate::v2_lens_complexity_accumulator_copy::Int; + | + +error[E0425]: cannot find type `NonEmptyStr` in this scope + --> src/v2_compiler_materialization_carriers.rs:145:42 + | +145 | pub fn parse_table_memo_provider_id() -> NonEmptyStr { + | ^^^^^^^^^^^ + | + ::: src/lib.rs:183:1 + | +183 | pub struct NonEmptyVec(Vec); + | ---------------------------------- similarly named struct `NonEmptyVec` defined here + | +help: a struct with a similar name exists + | +145 - pub fn parse_table_memo_provider_id() -> NonEmptyStr { +145 + pub fn parse_table_memo_provider_id() -> NonEmptyVec { + | +help: consider importing this type alias through its public re-export + | + 4 + use crate::v2_compiler_source_authority::NonEmptyStr; + | + +error[E0425]: cannot find type `NonEmptyStr` in this scope + --> src/v2_compiler_materialization_carriers.rs:149:44 + | +149 | pub fn compile_stage_memo_provider_id() -> NonEmptyStr { + | ^^^^^^^^^^^ + | + ::: src/lib.rs:183:1 + | +183 | pub struct NonEmptyVec(Vec); + | ---------------------------------- similarly named struct `NonEmptyVec` defined here + | +help: a struct with a similar name exists + | +149 - pub fn compile_stage_memo_provider_id() -> NonEmptyStr { +149 + pub fn compile_stage_memo_provider_id() -> NonEmptyVec { + | +help: consider importing this type alias through its public re-export + | + 4 + use crate::v2_compiler_source_authority::NonEmptyStr; + | + +error[E0425]: cannot find type `NonEmptyStr` in this scope + --> src/v2_compiler_materialization_carriers.rs:153:44 + | +153 | pub fn parse_table_memo_artifact_kind() -> NonEmptyStr { + | ^^^^^^^^^^^ + | + ::: src/lib.rs:183:1 + | +183 | pub struct NonEmptyVec(Vec); + | ---------------------------------- similarly named struct `NonEmptyVec` defined here + | +help: a struct with a similar name exists + | +153 - pub fn parse_table_memo_artifact_kind() -> NonEmptyStr { +153 + pub fn parse_table_memo_artifact_kind() -> NonEmptyVec { + | +help: consider importing this type alias through its public re-export + | + 4 + use crate::v2_compiler_source_authority::NonEmptyStr; + | + +error[E0425]: cannot find type `Edge` in this scope + --> src/v2_compiler_target_carriers.rs:84:23 + | +84 | }), |acc: _, edge: Rc| match (*acc).clone() { + | ^^^^ not found in this scope + | +help: consider importing this struct through its public re-export + | + 4 + use crate::v2_compiler_ingest::Edge; + | + +error[E0433]: cannot find type `ConversionOpcode` in this scope + --> src/v2_lens_cost.rs:735:39 + | +735 | LlvmInstruction::Conversion { op: ConversionOpcode::OpBitCast, .. } => 0, + | ^^^^^^^^^^^^^^^^ use of undeclared type `ConversionOpcode` + | +help: consider importing this enum + | + 4 + use crate::v2_extdeps_languages_llvm_ir::ConversionOpcode; + | + +error[E0425]: cannot find type `T` in this scope + --> src/v2_lens_mandatory_tag.rs:402:301 + | +402 | ...ld(true, |acc: bool, a: Rc>| (acc && mandatory_tag_symbols_contain(region.value_accepted... + | ^ not found in this scope + | +help: you might be missing a type parameter + | +395 | pub fn mandatory_tag_value_findings(d: Rc, region: Rc) -> Rc>> { + | +++ + +error[E0425]: cannot find function `length` in this scope + --> src/v2_lens_reference_deps.rs:331:5 + | +331 | if (length(exact.clone()) > length(acc.clone())) { + | ^^^^^^ not found in this scope + | +help: consider importing this function through its public re-export + | + 4 + use crate::v2_compiler_source_authority::length; + | + +error[E0425]: cannot find function `length` in this scope + --> src/v2_lens_reference_deps.rs:331:29 + | +331 | if (length(exact.clone()) > length(acc.clone())) { + | ^^^^^^ not found in this scope + | +help: consider importing this function through its public re-export + | + 4 + use crate::v2_compiler_source_authority::length; + | + +error[E0425]: cannot find function `decl_facts` in this scope + --> src/v2_lens_reference_deps.rs:366:92 + | +366 | ...ammar_coverage_distinct_rel_paths(decl_facts(pool_roots.clone())), from_imports.clone(), |acc, path| c... + | ^^^^^^^^^^ not found in this scope + | +help: consider importing this function + | + 4 + use crate::v2_std_decl_index::decl_facts; + | + +error[E0425]: cannot find function `length` in this scope + --> src/v2_lens_reference_deps.rs:443:5 + | +443 | length(reference_resolution_census_live(pool_roots.clone(), importer_roots.clone(), exclude_substring... + | ^^^^^^ not found in this scope + | +help: consider importing this function through its public re-export + | + 4 + use crate::v2_compiler_source_authority::length; + | + +error[E0425]: cannot find type `NonEmptyDiagnostics` in this scope + --> src/v2_compiler_normalized_tree.rs:44:69 + | +44 | ...Node>, diagnostics: Option>) -> Rc>> { + | ^^^^^^^^^^^^^^^^^^^ not found in this scope + | +help: consider importing this struct through its public re-export + | + 4 + use crate::v2_compiler_source_authority::NonEmptyDiagnostics; + | + +error[E0425]: cannot find type `NonEmptyDiagnostics` in this scope + --> src/v2_compiler_normalized_tree.rs:63:80 + | +63 | ...de>>>, diagnostics: Option>) -> Rc>>>> { + | ^^^^^^^^^^^^^^^^^^^ not found in this scope + | +help: consider importing this struct through its public re-export + | + 4 + use crate::v2_compiler_source_authority::NonEmptyDiagnostics; + | + +error[E0425]: cannot find type `NonEmptyDiagnostics` in this scope + --> src/v2_compiler_normalize.rs:84:76 + | +84 | ...lded: Rc, cd: Option>) -> Rc>> { + | ^^^^^^^^^^^^^^^^^^^ not found in this scope + | +help: consider importing this struct through its public re-export + | + 4 + use crate::v2_compiler_source_authority::NonEmptyDiagnostics; + | + +error[E0425]: cannot find type `NonEmptyDiagnostics` in this scope + --> src/v2_compiler_normalize.rs:136:70 + | +136 | ...ded: Rc, cd: Option>) -> Rc>> { + | ^^^^^^^^^^^^^^^^^^^ not found in this scope + | +help: consider importing this struct through its public re-export + | + 4 + use crate::v2_compiler_source_authority::NonEmptyDiagnostics; + | + +error[E0425]: cannot find type `SourceRootIndex` in this scope + --> src/v2_compiler_program_assembly.rs:38:16 + | + 38 | index: SourceRootIndex, + | ^^^^^^^^^^^^^^^ + | + ::: src/v2_compiler_source_authority.rs:118:1 + | +118 | pub type SourceRootIngest = Rc>>; + | -------------------------------------------------------------- similarly named type alias `SourceRootIngest` defined here + | +help: a type alias with a similar name exists + | + 38 - index: SourceRootIndex, + 38 + index: SourceRootIngest, + | +help: consider importing this type alias through its public re-export + | + 4 + use crate::v2_compiler_name_resolve::SourceRootIndex; + | + +error[E0425]: cannot find value `filesystem` in this scope + --> src/v2_compiler_source_authority.rs:526:20 + | +526 | let read = filesystem.read(path.clone()).await?; + | ^^^^^^^^^^ not found in this scope + +error[E0425]: cannot find value `filesystem` in this scope + --> src/v2_compiler_source_authority.rs:657:20 + | +657 | let read = filesystem.read(ref_.path.clone()).await?; + | ^^^^^^^^^^ not found in this scope + +error[E0728]: `await` is only allowed inside `async` functions and blocks + --> src/v2_compiler_source_authority.rs:526:50 + | +524 | pub fn source_ref_for_observed_storage_path(path: String) -> Rc { + | -------------------------------------------------------------------------- this is not `async` +525 | { +526 | let read = filesystem.read(path.clone()).await?; + | ^^^^^ only allowed inside `async` functions and blocks + +error[E0728]: `await` is only allowed inside `async` functions and blocks + --> src/v2_compiler_source_authority.rs:657:55 + | +655 | pub fn dag_source_read_result_from_ref(ref_: Rc) -> Rc { + | -------------------------------------------------------------------------------------- this is not `async` +656 | { +657 | let read = filesystem.read(ref_.path.clone()).await?; + | ^^^^^ only allowed inside `async` functions and blocks + +error[E0277]: the trait bound `A: Clone` is not satisfied + --> src/v2_std_test_claim_falsification.rs:38:24 + | +38 | pub divergence: Rc>, + | ^^^^^^^^^^^^ the trait `Clone` is not implemented for `A` + | +note: required by a bound in `ValueDiff` + --> src/v2_std_host_run.rs:77:25 + | +77 | pub struct ValueDiff { + | ^^^^^ required by this bound in `ValueDiff` +help: consider restricting type parameter `A` with trait `Clone` + | +34 | pub struct FalsificationReceipt { + | +++++++++++++++++++ + +error[E0277]: the trait bound `T: Clone` is not satisfied + --> src/v2_compiler_eval.rs:302:19 + | +302 | pub input: Rc>, + | ^^^^^^^^^^^^^^^^^^^^^^ the trait `Clone` is not implemented for `T` + | +note: required by a bound in `TestClaimTypedInput` + --> src/v2_compiler_eval.rs:291:35 + | +291 | pub struct TestClaimTypedInput { + | ^^^^^ required by this bound in `TestClaimTypedInput` +help: consider restricting type parameter `T` with trait `Clone` + | +298 | pub struct TestClaimEvalSubject { + | +++++++++++++++++++ + +error[E0277]: the trait bound `A: Clone` is not satisfied + --> src/v2_compiler_eval.rs:329:21 + | +329 | pub verdict: Rc>, A>>, + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Clone` is not implemented for `A` + | +note: required by a bound in `Verdict` + --> src/v2_std_verdict.rs:25:34 + | + 25 | pub enum Verdict { + | ^^^^^ required by this bound in `Verdict` +help: consider restricting type parameter `A` with trait `Clone` + | +327 | pub struct TestClaimRun { + | +++++++++++++++++++ + +error[E0308]: mismatched types + --> src/v2_extdeps_languages_fidelity.rs:27:79 + | +23 | impl FidelityDisposition { + | ------- expected this type parameter +24 | pub fn feature(&self) -> Feature { + | ------- expected `Feature` because of return type +... +27 | FidelityDisposition::DeclaredNormalized { feature: __val, .. } => __val.clone(), + | ^^^^^^^^^^^^^ expected type parameter `Feature`, found `&Feature` + | + = note: expected type parameter `_` + found reference `&_` +note: `Feature` does not implement `Clone`, so `&Feature` was cloned instead + --> src/v2_extdeps_languages_fidelity.rs:27:79 + | +27 | FidelityDisposition::DeclaredNormalized { feature: __val, .. } => __val.clone(), + | ^^^^^ + +error[E0631]: type mismatch in closure arguments + --> src/v2_lens_complexity_accumulator_copy_analyze.rs:70:48 + | +70 | ...().cloned().fold(acc.clone(), |a: Rc>>, e: Edge| collect_direct_captures(e.target.clone(),... + | ^^^^ ------------------------------- found signature defined here + | | + | expected due to this + | + = note: expected closure signature `fn(Rc<_>, Rc) -> _` + found closure signature `fn(Rc<_>, Edge) -> _` +note: required by a bound in `fold` + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/iter/traits/iterator.rs:2664:4 + +error[E0631]: type mismatch in closure arguments + --> src/v2_lens_complexity_accumulator_copy_analyze.rs:72:48 + | +72 | ...().cloned().fold(acc.clone(), |a: Rc>>, e: Edge| collect_direct_captures(e.target.clone(),... + | ^^^^ ------------------------------- found signature defined here + | | + | expected due to this + | + = note: expected closure signature `fn(Rc<_>, Rc) -> _` + found closure signature `fn(Rc<_>, Edge) -> _` +note: required by a bound in `fold` + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/iter/traits/iterator.rs:2664:4 + +error[E0308]: mismatched types + --> src/v2_lens_complexity_accumulator_copy_analyze.rs:125:116 + | +125 | ...>, e: Edge| if edge_skips_identifier_count(e.clone()) { + | --------------------------- ^^^^^^^^^ expected `Rc`, found `Edge` + | | + | arguments to this function are incorrect + | + = note: expected struct `Rc` + found struct `Edge` +note: function defined here + --> src/v2_lens_complexity_accumulator_copy_analyze.rs:99:8 + | + 99 | pub fn edge_skips_identifier_count(e: Rc) -> bool { + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ ----------- +help: call `Into::into` on this expression to convert `Edge` into `Rc` + | +125 | n.children.clone().iter().cloned().fold(here.clone(), |a: Rc>, e: Edge| if edge_skips_identifier_count(e.clone().into()) { + | +++++++ + +error[E0631]: type mismatch in closure arguments + --> src/v2_lens_complexity_accumulator_copy_analyze.rs:125:36 + | +125 | ...().cloned().fold(here.clone(), |a: Rc>, e: Edge| if edge_skips_identifier_count(e.clone()) { + | ^^^^ ----------------------------- found signature defined here + | | + | expected due to this + | + = note: expected closure signature `fn(Rc<_>, Rc) -> _` + found closure signature `fn(Rc<_>, Edge) -> _` +note: required by a bound in `fold` + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/iter/traits/iterator.rs:2664:4 + +error[E0308]: mismatched types + --> src/v2_lens_complexity_accumulator_copy_analyze.rs:275:14 + | +275 | binding: LetBinding { + | ______________^ +276 | | name: binder.clone(), +277 | | fact: Rc::new(LetBindingFact::BindsFresh), +278 | | }, + | |_^ expected `Rc`, found `LetBinding` + | + = note: expected struct `Rc` + found struct `LetBinding` +help: call `Into::into` on this expression to convert `LetBinding` into `Rc` + | +278 | }.into(), + | +++++++ + +error[E0308]: mismatched types + --> src/v2_lens_complexity_accumulator_copy_analyze.rs:284:14 + | +284 | binding: LetBinding { + | ______________^ +285 | | name: binder.clone(), +286 | | fact: Rc::new(LetBindingFact::BindsComputed { +287 | | mentions: mentions.clone(), +288 | | }), +289 | | }, + | |_^ expected `Rc`, found `LetBinding` + | + = note: expected struct `Rc` + found struct `LetBinding` +help: call `Into::into` on this expression to convert `LetBinding` into `Rc` + | +289 | }.into(), + | +++++++ + +error[E0308]: mismatched types + --> src/v2_lens_complexity_accumulator_copy_analyze.rs:298:14 + | +298 | binding: LetBinding { + | ______________^ +299 | | name: binder.clone(), +300 | | fact: fact.clone(), +301 | | }, + | |_^ expected `Rc`, found `LetBinding` + | + = note: expected struct `Rc` + found struct `LetBinding` +help: call `Into::into` on this expression to convert `LetBinding` into `Rc` + | +301 | }.into(), + | +++++++ + +error[E0308]: mismatched types + --> src/v2_lens_complexity_accumulator_copy_analyze.rs:309:14 + | +309 | binding: LetBinding { + | ______________^ +310 | | name: binder.clone(), +311 | | fact: Rc::new(LetBindingFact::BindsComputed { +312 | | mentions: mentions.clone(), +313 | | }), +314 | | }, + | |_^ expected `Rc`, found `LetBinding` + | + = note: expected struct `Rc` + found struct `LetBinding` +help: call `Into::into` on this expression to convert `LetBinding` into `Rc` + | +314 | }.into(), + | +++++++ + +error[E0631]: type mismatch in closure arguments + --> src/v2_lens_complexity_accumulator_copy_analyze.rs:333:40 + | +333 | ...cloned().fold(here.clone(), |acc: Rc>>, e: Edge| append_findings(analyze(e.target.clon... + | ^^^^ ------------------------------------ found signature defined here + | | + | expected due to this + | + = note: expected closure signature `fn(Rc<_>, Rc) -> _` + found closure signature `fn(Rc<_>, Edge) -> _` +note: required by a bound in `fold` + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/iter/traits/iterator.rs:2664:4 + +error[E0308]: mismatched types + --> src/v2_lens_complexity_accumulator_copy_analyze.rs:485:80 + | +485 | ...ngs.clone(), Rc::new(vec![lowered_arg_port_reading(e.target.clone())])), + | ^^^^^------------------------------------------^ + | | | + | | this argument has type `Rc`... + | expected `Vector`, found `Vector>` + | ... which causes `l` to have type `im::Vector>` + | + = note: expected struct `im::Vector` + found struct `im::Vector>` + = note: this error originates in the macro `vec` (in Nightly builds, run with -Z macro-backtrace for more info) + +error[E0631]: type mismatch in closure arguments + --> src/v2_lens_complexity_accumulator_copy_analyze.rs:479:110 + | +479 | NodeKind::ComputationNode { behavior: Behavior::Transform, .. } => node.children.clone().iter().cloned().fold(Rc... + | ^^^^ expected due to this +... +482 | }), |acc: Rc, e: Edge| if acc.saw_operator.clone() { + | ------------------------------------------- found signature defined here + | + = note: expected closure signature `fn(Rc<_>, Rc) -> _` + found closure signature `fn(Rc<_>, Edge) -> _` +note: required by a bound in `fold` + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/iter/traits/iterator.rs:2664:4 + +error[E0308]: mismatched types + --> src/v2_lens_complexity_accumulator_copy_analyze.rs:479:72 + | +477 | pub fn lowered_transform_port_readings(node: Rc) -> Rc>> { + | ------------------------ expected `Rc>>` because of return type +478 | match (*node.kind.clone()).clone() { +479 | NodeKind::ComputationNode { behavior: Behavior::Transform, .. } => node.children.clone().iter().clo... + | ________________________________________________________________________^ +480 | | saw_operator: false, +481 | | readings: Rc::new(vec![]), +482 | | }), |acc: Rc, e: Edge| if acc.saw_operator.clone() { +... | +491 | | }) +492 | | }).readings.clone(), + | |_______________________^ expected `Rc>>`, found `Rc>` + | + = note: expected struct `Rc>>` + found struct `Rc>` + +error[E0631]: type mismatch in closure arguments + --> src/v2_lens_complexity_accumulator_copy_analyze.rs:643:36 + | +643 | n.children.clone().iter().cloned().fold(here.clone(), |acc: i64, e: Edge| (acc + count_fold_sites(e.targe... + | ^^^^ ------------------- found signature defined here + | | + | expected due to this + | + = note: expected closure signature `fn(_, Rc) -> _` + found closure signature `fn(_, Edge) -> _` +note: required by a bound in `fold` + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/iter/traits/iterator.rs:2664:4 + +error[E0631]: type mismatch in closure arguments + --> src/v2_lens_complexity_accumulator_copy_analyze.rs:656:48 + | +656 | _ => root.children.clone().iter().cloned().fold(false, |found: bool, e: Edge| if found { + | ^^^^ ---------------------- found signature defined here + | | + | expected due to this + | + = note: expected closure signature `fn(_, Rc) -> _` + found closure signature `fn(_, Edge) -> _` +note: required by a bound in `fold` + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/iter/traits/iterator.rs:2664:4 + +error[E0631]: type mismatch in closure arguments + --> src/v2_lens_complexity_accumulator_copy_analyze.rs:683:51 + | +683 | None => root.children.clone().iter().cloned().fold(false, |found: bool, e: Edge| if found { + | ^^^^ ---------------------- found signature defined here + | | + | expected due to this + | + = note: expected closure signature `fn(_, Rc) -> _` + found closure signature `fn(_, Edge) -> _` +note: required by a bound in `fold` + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/iter/traits/iterator.rs:2664:4 + +error[E0308]: mismatched types + --> src/v2_lens_complexity_accumulator_copy_analyze.rs:696:15 + | +696 | findings: accumulator_copy_findings(root.clone()), + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Rc>`, found `Rc>>` + | + = note: expected struct `Rc>` + found struct `Rc>>` + +error[E0308]: mismatched types + --> src/v2_lens_complexity_lowering.rs:48:13 + | +48 | Rc::new(vec![loop_invariant_hoist()]) + | ^^^^^----------------------^ + | | | + | | this argument has type `Rc`... + | expected `Vector<()>`, found `Vector>` + | ... which causes `l` to have type `im::Vector>` + | + = note: expected struct `im::Vector<()>` + found struct `im::Vector>` + = note: this error originates in the macro `vec` (in Nightly builds, run with -Z macro-backtrace for more info) + +error[E0631]: type mismatch in function arguments + --> src/v2_lens_complexity_lowering.rs:52:33 + | + 33 | pub fn strictly_lowers(r: Rc) -> bool { + | --------------------------------------------------------- found signature defined here +... + 52 | for_all(lowering_catalog(), strictly_lowers) + | ------- ^^^^^^^^^^^^^^^ expected due to this + | | + | required by a bound introduced by this call + | + = note: expected function signature `fn(()) -> _` + found function signature `fn(Rc) -> _` +note: required by a bound in `for_all` + --> src/v2_std_algebra.rs:835:65 + | +835 | pub fn for_all(xs: Rc>, predicate: impl Fn(T) -> bool + Clone) -> bool { + | ^^^^^^^^^^^^^ required by this bound in `for_all` +help: consider wrapping the function in a closure + | + 52 | for_all(lowering_catalog(), |arg0: ()| strictly_lowers(/* Rc */)) + | ++++++++++ +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +error[E0308]: mismatched types + --> src/v2_lens_complexity_lowering.rs:60:104 + | +60 | ...oned() { if lowering_matches_class(r.clone(), cls.clone()) { __found = true; break; } } __found } + | ---------------------- ^^^^^^^^^ expected `Rc`, found `()` + | | + | arguments to this function are incorrect + | + = note: expected struct `Rc` + found unit type `()` +note: function defined here + --> src/v2_lens_complexity_lowering.rs:55:8 + | +55 | pub fn lowering_matches_class(r: Rc, cls: Rc) -> bool { + | ^^^^^^^^^^^^^^^^^^^^^^ ------------------------- + +error[E0308]: mismatched types + --> src/v2_lens_complexity_lowering.rs:68:107 + | +68 | ...|acc, r| if lowering_matches_class(r.clone(), asymptotic_class_of_cost(c.clone())) { + | ---------------------- ^^^^^^^^^ expected `Rc`, found `()` + | | + | arguments to this function are incorrect + | + = note: expected struct `Rc` + found unit type `()` +note: function defined here + --> src/v2_lens_complexity_lowering.rs:55:8 + | +55 | pub fn lowering_matches_class(r: Rc, cls: Rc) -> bool { + | ^^^^^^^^^^^^^^^^^^^^^^ ------------------------- + +error[E0609]: no field `after` on type `()` + --> src/v2_lens_complexity_lowering.rs:69:11 + | +69 | r.after.clone() + | ^^^^^ unknown field + +error[E0308]: mismatched types + --> src/v2_lens_coverage.rs:52:21 + | +52 | Rc::new(CoverageDefectAcceptanceKey { + | _____________-------_^ + | | | + | | arguments to this function are incorrect +53 | | lens: CoverageDefectKey::DiscriminantPredicate, +54 | | }) + | |_^ expected `Coverage>`, found `CoverageDefectAcceptanceKey` + | + = note: expected struct `v2_lens_coverage::Coverage>` + found struct `CoverageDefectAcceptanceKey` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0308]: mismatched types + --> src/v2_lens_coverage.rs:63:21 + | +63 | Rc::new(CoverageDefectAcceptanceKey { + | _____________-------_^ + | | | + | | arguments to this function are incorrect +64 | | lens: CoverageDefectKey::DegenerateType, +65 | | }) + | |_^ expected `Coverage>`, found `CoverageDefectAcceptanceKey` + | + = note: expected struct `v2_lens_coverage::Coverage>` + found struct `CoverageDefectAcceptanceKey` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0308]: mismatched types + --> src/v2_lens_coverage.rs:74:21 + | +74 | Rc::new(CoverageDefectAcceptanceKey { + | _____________-------_^ + | | | + | | arguments to this function are incorrect +75 | | lens: CoverageDefectKey::HollowType, +76 | | }) + | |_^ expected `Coverage>`, found `CoverageDefectAcceptanceKey` + | + = note: expected struct `v2_lens_coverage::Coverage>` + found struct `CoverageDefectAcceptanceKey` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0308]: mismatched types + --> src/v2_lens_coverage.rs:85:21 + | +85 | Rc::new(CoverageDefectAcceptanceKey { + | _____________-------_^ + | | | + | | arguments to this function are incorrect +86 | | lens: CoverageDefectKey::CarrierClone, +87 | | }) + | |_^ expected `Coverage>`, found `CoverageDefectAcceptanceKey` + | + = note: expected struct `v2_lens_coverage::Coverage>` + found struct `CoverageDefectAcceptanceKey` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0308]: mismatched types + --> src/v2_lens_coverage.rs:96:21 + | +96 | Rc::new(CoverageDefectAcceptanceKey { + | _____________-------_^ + | | | + | | arguments to this function are incorrect +97 | | lens: CoverageDefectKey::Catamorphism, +98 | | }) + | |_^ expected `Coverage>`, found `CoverageDefectAcceptanceKey` + | + = note: expected struct `v2_lens_coverage::Coverage>` + found struct `CoverageDefectAcceptanceKey` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0308]: mismatched types + --> src/v2_lens_coverage.rs:107:21 + | +107 | Rc::new(CoverageDefectAcceptanceKey { + | _____________-------_^ + | | | + | | arguments to this function are incorrect +108 | | lens: CoverageDefectKey::TemplateHole, +109 | | }) + | |_^ expected `Coverage>`, found `CoverageDefectAcceptanceKey` + | + = note: expected struct `v2_lens_coverage::Coverage>` + found struct `CoverageDefectAcceptanceKey` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0308]: mismatched types + --> src/v2_lens_coverage.rs:118:21 + | +118 | Rc::new(CoverageDefectAcceptanceKey { + | _____________-------_^ + | | | + | | arguments to this function are incorrect +119 | | lens: CoverageDefectKey::OffSubstrateFact, +120 | | }) + | |_^ expected `Coverage>`, found `CoverageDefectAcceptanceKey` + | + = note: expected struct `v2_lens_coverage::Coverage>` + found struct `CoverageDefectAcceptanceKey` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0308]: mismatched types + --> src/v2_lens_coverage.rs:129:21 + | +129 | Rc::new(CoverageDefectAcceptanceKey { + | _____________-------_^ + | | | + | | arguments to this function are incorrect +130 | | lens: CoverageDefectKey::WrongHome, +131 | | }) + | |_^ expected `Coverage>`, found `CoverageDefectAcceptanceKey` + | + = note: expected struct `v2_lens_coverage::Coverage>` + found struct `CoverageDefectAcceptanceKey` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0308]: mismatched types + --> src/v2_lens_coverage.rs:140:21 + | +140 | Rc::new(CoverageDefectAcceptanceKey { + | _____________-------_^ + | | | + | | arguments to this function are incorrect +141 | | lens: CoverageDefectKey::VacuousArm, +142 | | }) + | |_^ expected `Coverage>`, found `CoverageDefectAcceptanceKey` + | + = note: expected struct `v2_lens_coverage::Coverage>` + found struct `CoverageDefectAcceptanceKey` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0308]: mismatched types + --> src/v2_lens_coverage.rs:151:21 + | +151 | Rc::new(CoverageDefectAcceptanceKey { + | _____________-------_^ + | | | + | | arguments to this function are incorrect +152 | | lens: CoverageDefectKey::CanonicalCarrier, +153 | | }) + | |_^ expected `Coverage>`, found `CoverageDefectAcceptanceKey` + | + = note: expected struct `v2_lens_coverage::Coverage>` + found struct `CoverageDefectAcceptanceKey` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0308]: mismatched types + --> src/v2_lens_coverage.rs:162:21 + | +162 | Rc::new(CoverageDefectAcceptanceKey { + | _____________-------_^ + | | | + | | arguments to this function are incorrect +163 | | lens: CoverageDefectKey::PlausibleFallback, +164 | | }) + | |_^ expected `Coverage>`, found `CoverageDefectAcceptanceKey` + | + = note: expected struct `v2_lens_coverage::Coverage>` + found struct `CoverageDefectAcceptanceKey` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0308]: mismatched types + --> src/v2_lens_coverage.rs:173:21 + | +173 | Rc::new(CoverageDefectAcceptanceKey { + | _____________-------_^ + | | | + | | arguments to this function are incorrect +174 | | lens: CoverageDefectKey::ParallelAuthority, +175 | | }) + | |_^ expected `Coverage>`, found `CoverageDefectAcceptanceKey` + | + = note: expected struct `v2_lens_coverage::Coverage>` + found struct `CoverageDefectAcceptanceKey` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0308]: mismatched types + --> src/v2_lens_coverage.rs:184:21 + | +184 | Rc::new(CoverageDefectAcceptanceKey { + | _____________-------_^ + | | | + | | arguments to this function are incorrect +185 | | lens: CoverageDefectKey::SkeletonCollapse, +186 | | }) + | |_^ expected `Coverage>`, found `CoverageDefectAcceptanceKey` + | + = note: expected struct `v2_lens_coverage::Coverage>` + found struct `CoverageDefectAcceptanceKey` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0061]: this function takes 2 arguments but 3 arguments were supplied + --> src/v2_lens_coverage.rs:200:11 + | +199 | pub fn dedupe_snoc(acc: Rc>, item: C, eq: impl Fn(C, C) -> bool + Clone) -> Rc> { + | - found this type parameter +200 | match v1_rt::contains(acc.clone(), item.clone(), eq.clone()) { + | ^^^^^^^^^^^^^^^ ---------- unexpected argument #3 of type `impl Fn(C, C) -> bool + Clone` + | +note: expected `String`, found `Rc>` + --> src/v2_lens_coverage.rs:200:27 + | +200 | match v1_rt::contains(acc.clone(), item.clone(), eq.clone()) { + | ^^^^^^^^^^^ + = note: expected struct `std::string::String` + found struct `Rc>` +note: expected `String`, found type parameter `C` + --> src/v2_lens_coverage.rs:200:40 + | +200 | match v1_rt::contains(acc.clone(), item.clone(), eq.clone()) { + | ^^^^^^^^^^^^ + = note: expected struct `std::string::String` + found type parameter `C` +note: function defined here + --> src/v1_rt.rs:307:8 + | +307 | pub fn contains(s: String, sub: String) -> bool { string_contains(&s, sub) } + | ^^^^^^^^ --------- ----------- +help: remove the extra argument + | +200 - match v1_rt::contains(acc.clone(), item.clone(), eq.clone()) { +200 + match v1_rt::contains(/* std::string::String */, /* std::string::String */) { + | + +error[E0061]: this function takes 2 arguments but 3 arguments were supplied + --> src/v2_lens_coverage.rs:207:93 + | +206 | ...ys(expected: Rc>, actual: Rc>, eq: impl Fn(C, C) -> bool + Clone) -> Rc> { + | - found this type parameter +207 | ... mut __result = Vec::new(); for key in expected.iter().cloned() { if match v1_rt::contains(actual.clone(), key.clone(), eq.clone()) { + | ^^^^^^^^^^^^^^^ ---------- unexpected argument #3 of type `impl Fn(C, C) -> bool + Clone` + | +note: expected `String`, found `Rc>` + --> src/v2_lens_coverage.rs:207:109 + | +207 | ....iter().cloned() { if match v1_rt::contains(actual.clone(), key.clone(), eq.clone()) { + | ^^^^^^^^^^^^^^ + = note: expected struct `std::string::String` + found struct `Rc>` +note: expected `String`, found type parameter `C` + --> src/v2_lens_coverage.rs:207:125 + | +207 | ...) { if match v1_rt::contains(actual.clone(), key.clone(), eq.clone()) { + | ^^^^^^^^^^^ + = note: expected struct `std::string::String` + found type parameter `C` +note: function defined here + --> src/v1_rt.rs:307:8 + | +307 | pub fn contains(s: String, sub: String) -> bool { string_contains(&s, sub) } + | ^^^^^^^^ --------- ----------- +help: remove the extra argument + | +207 - Rc::new({ let mut __result = Vec::new(); for key in expected.iter().cloned() { if match v1_rt::contains(actual.clone(), key.clone(), eq.clone()) { +207 + Rc::new({ let mut __result = Vec::new(); for key in expected.iter().cloned() { if match v1_rt::contains(/* std::string::String */, /* std::string::String */) { + | + +error[E0308]: mismatched types + --> src/v2_lens_coverage.rs:214:181 + | + 214 | ...e(); __cons_v.insert(0, coverage_of(key.clone())); __cons_v })) + | ------ ^^^^^^^^^^^^^^^^^^^^^^^^ expected `()`, found `Rc>` + | | + | arguments to this method are incorrect + | + = note: expected unit type `()` + found struct `Rc>` +note: method defined here + --> /root/workspace/.home/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/im-15.1.0/src/vector/mod.rs:1366:12 + | +1366 | pub fn insert(&mut self, index: usize, value: A) { + | ^^^^^^ + +error[E0308]: mismatched types + --> src/v2_lens_enforcement_standing_intent.rs:215:32 + | +215 | allowed_narrowing: Rc::new(vec![Rc::new(NarrowingReason::BootstrapBlocked { + | _________________________________^ - + | | _____________________________________| +216 | || blocker: "".to_string(), +217 | || }), Rc::new(NarrowingReason::TypeReflectionUnavailable { + | ||__- this argument has type `Rc`... +218 | | blocker: "".to_string(), +219 | | })]), + | | ^ + | | | + | |____expected `Vector`, found `Vector>` + | ... which causes `l` to have type `im::Vector>` + | + = note: expected struct `im::Vector` + found struct `im::Vector>` + = note: this error originates in the macro `vec` (in Nightly builds, run with -Z macro-backtrace for more info) + +error[E0308]: mismatched types + --> src/v2_lens_enforcement_standing_intent.rs:246:32 + | +246 | allowed_narrowing: Rc::new(vec![Rc::new(NarrowingReason::BootstrapBlocked { + | _________________________________^ - + | | _____________________________________| +247 | || blocker: "".to_string(), +248 | || }), Rc::new(NarrowingReason::TypeReflectionUnavailable { + | ||__- this argument has type `Rc`... +249 | | blocker: "".to_string(), +250 | | })]), + | | ^ + | | | + | |____expected `Vector`, found `Vector>` + | ... which causes `l` to have type `im::Vector>` + | + = note: expected struct `im::Vector` + found struct `im::Vector>` + = note: this error originates in the macro `vec` (in Nightly builds, run with -Z macro-backtrace for more info) + +error[E0061]: this function takes 2 arguments but 3 arguments were supplied + --> src/v2_lens_enforcement_vocab.rs:225:66 + | +225 | ...ble, .. } => v1_rt::contains(acceptable.clone(), actual.clone(), consumer_kind_eq), + | ^^^^^^^^^^^^^^^ -------------- ---------------- unexpected argument #3 of type `fn(ConsumerKind, ConsumerKind) -> bool {consumer_kind_eq}` + | | + | expected `String`, found `ConsumerKind` + | +note: expected `String`, found `Rc>` + --> src/v2_lens_enforcement_vocab.rs:225:82 + | +225 | ConsumerRequirement::OneOf { acceptable: acceptable, .. } => v1_rt::contains(acceptable.clone(), actu... + | ^^^^^^^^^^^^^^^^^^ + = note: expected struct `std::string::String` + found struct `Rc>` +note: function defined here + --> src/v1_rt.rs:307:8 + | +307 | pub fn contains(s: String, sub: String) -> bool { string_contains(&s, sub) } + | ^^^^^^^^ --------- ----------- +help: remove the extra argument + | +225 - ConsumerRequirement::OneOf { acceptable: acceptable, .. } => v1_rt::contains(acceptable.clone(), actual.clone(), consumer_kind_eq), +225 + ConsumerRequirement::OneOf { acceptable: acceptable, .. } => v1_rt::contains(/* std::string::String */, /* std::string::String */), + | + +error[E0061]: this function takes 2 arguments but 3 arguments were supplied + --> src/v2_lens_enforcement_vocab.rs:300:42 + | +300 | ...clone(), |r| v1_rt::contains(claimed.entries.clone(), r.clone(), qualified_name_eq)) + | ^^^^^^^^^^^^^^^ ----------------- unexpected argument #3 of type `fn(Rc>, Rc>) -> bool {qualified_name_eq}` + | +note: function defined here + --> src/v1_rt.rs:307:8 + | +307 | pub fn contains(s: String, sub: String) -> bool { string_contains(&s, sub) } + | ^^^^^^^^ +help: remove the extra argument + | +300 - for_all(desired.entries.clone(), |r| v1_rt::contains(claimed.entries.clone(), r.clone(), qualified_name_eq)) +300 + for_all(desired.entries.clone(), |r| v1_rt::contains(claimed.entries.clone(), r.clone())) + | + +error[E0061]: this function takes 2 arguments but 3 arguments were supplied + --> src/v2_lens_enforcement_vocab.rs:304:40 + | +304 | for_all(desired.roots.clone(), |r| v1_rt::contains(claimed.roots.clone(), r.clone(), string_eq)) + | ^^^^^^^^^^^^^^^ --------- unexpected argument #3 of type `fn(std::string::String, std::string::String) -> bool {v2_lens_enforcement_vocab::string_eq}` + | +note: expected `String`, found `Rc>` + --> src/v2_lens_enforcement_vocab.rs:304:56 + | +304 | for_all(desired.roots.clone(), |r| v1_rt::contains(claimed.roots.clone(), r.clone(), string_eq)) + | ^^^^^^^^^^^^^^^^^^^^^ + = note: expected struct `std::string::String` + found struct `Rc>` +note: function defined here + --> src/v1_rt.rs:307:8 + | +307 | pub fn contains(s: String, sub: String) -> bool { string_contains(&s, sub) } + | ^^^^^^^^ --------- +help: remove the extra argument + | +304 - for_all(desired.roots.clone(), |r| v1_rt::contains(claimed.roots.clone(), r.clone(), string_eq)) +304 + for_all(desired.roots.clone(), |r| v1_rt::contains(/* std::string::String */, r.clone())) + | + +error[E0282]: type annotations needed + --> src/v2_lens_witness_cost_locality.rs:90:119 + | +90 | ...ntains(ys.clone(), x.clone(), |a, b| (a.clone() == b.clone())) { __result.push(x); } } __result }) + | ^ - type must be known at this point + | +help: consider giving this closure parameter an explicit type + | +90 | Rc::new({ let mut __result = Vec::new(); for x in xs.iter().cloned() { if v1_rt::contains(ys.clone(), x.clone(), |a: /* Type */, b| (a.clone() == b.clone())) { __result.push(x); } } __result }) + | ++++++++++++ + +error[E0061]: this function takes 2 arguments but 3 arguments were supplied + --> src/v2_lens_witness_cost_locality.rs:90:79 + | + 90 | ... if v1_rt::contains(ys.clone(), x.clone(), |a, b| (a.clone() == b.clone())) { __result.push(x); } } __... + | ^^^^^^^^^^^^^^^ ------------------------------- unexpected argument #3 + | +note: expected `String`, found `Rc>` + --> src/v2_lens_witness_cost_locality.rs:90:95 + | + 90 | ... x in xs.iter().cloned() { if v1_rt::contains(ys.clone(), x.clone(), |a, b| (a.clone() == b.clone())) ... + | ^^^^^^^^^^ + = note: expected struct `std::string::String` + found struct `Rc>` +note: function defined here + --> src/v1_rt.rs:307:8 + | +307 | pub fn contains(s: String, sub: String) -> bool { string_contains(&s, sub) } + | ^^^^^^^^ --------- +help: remove the extra argument + | + 90 - Rc::new({ let mut __result = Vec::new(); for x in xs.iter().cloned() { if v1_rt::contains(ys.clone(), x.clone(), |a, b| (a.clone() == b.clone())) { __result.push(x); } } __result }) + 90 + Rc::new({ let mut __result = Vec::new(); for x in xs.iter().cloned() { if v1_rt::contains(/* std::string::String */, x.clone()) { __result.push(x); } } __result }) + | + +error[E0282]: type annotations needed + --> src/v2_lens_witness_cost_locality.rs:188:45 + | +188 | v1_rt::contains(xs.clone(), x.clone(), |a, b| (a.clone() == b.clone())) + | ^ - type must be known at this point + | +help: consider giving this closure parameter an explicit type + | +188 | v1_rt::contains(xs.clone(), x.clone(), |a: /* Type */, b| (a.clone() == b.clone())) + | ++++++++++++ + +error[E0061]: this function takes 2 arguments but 3 arguments were supplied + --> src/v2_lens_witness_cost_locality.rs:188:5 + | +188 | v1_rt::contains(xs.clone(), x.clone(), |a, b| (a.clone() == b.clone())) + | ^^^^^^^^^^^^^^^ ------------------------------- unexpected argument #3 + | +note: expected `String`, found `Rc>` + --> src/v2_lens_witness_cost_locality.rs:188:21 + | +188 | v1_rt::contains(xs.clone(), x.clone(), |a, b| (a.clone() == b.clone())) + | ^^^^^^^^^^ + = note: expected struct `std::string::String` + found struct `Rc>` +note: function defined here + --> src/v1_rt.rs:307:8 + | +307 | pub fn contains(s: String, sub: String) -> bool { string_contains(&s, sub) } + | ^^^^^^^^ --------- +help: remove the extra argument + | +188 - v1_rt::contains(xs.clone(), x.clone(), |a, b| (a.clone() == b.clone())) +188 + v1_rt::contains(/* std::string::String */, x.clone()) + | + +error[E0308]: mismatched types + --> src/v2_std_artifact.rs:84:14 + | +84 | refined: Refined { + | ______________^ +85 | | base: Rc::new(Artifact { +86 | | kind: ArtifactKind::TestClaimArtifact, +87 | | id: id.clone(), +... | +90 | | _phantom: std::marker::PhantomData, +91 | | }, + | |_^ expected `Rc>>`, found `Refined>` + | + = note: expected struct `Rc>` + found struct `Refined<_>` +help: call `Into::into` on this expression to convert `Refined>` into `Rc>>` + | +91 | }.into(), + | +++++++ + +error[E0599]: no associated function or constant named `Empty` found for struct `im::Vector` in the current scope + --> src/v2_std_cross_tree_resolution.rs:103:17 + | +103 | FreeMonoid::Empty => LayerPrefix::LayerPrefixStd, + | ^^^^^ associated function or constant not found in `im::Vector<_>` + +error[E0223]: ambiguous associated type + --> src/v2_std_cross_tree_resolution.rs:104:5 + | +104 | FreeMonoid::Cons { head: h, tail: t, .. } => if (h.clone() == "v2".to_string()) { + | ^^^^^^^^^^^^^^^^ + | +help: if there were a trait named `Example` with associated type `Cons` implemented for `im::Vector<_>`, you could use the fully-qualified path + | +104 - FreeMonoid::Cons { head: h, tail: t, .. } => if (h.clone() == "v2".to_string()) { +104 + as Example>::Cons { head: h, tail: t, .. } => if (h.clone() == "v2".to_string()) { + | + +error[E0425]: cannot find function `layer_import_facts` in this scope + --> src/v2_std_layer.rs:38:5 + | +38 | layer_import_facts(std_roots.clone(), extdeps_roots.clone()) + | ^^^^^^^^^^^^^^^^^^ not found in this scope + +error[E0308]: mismatched types + --> src/v2_std_passing_candidate_fold.rs:34:83 + | +30 | impl PassingCandidateFold { + | - expected this type parameter +31 | pub fn candidate(&self) -> T { + | - expected `T` because of return type +... +34 | PassingCandidateFold::OnePassingCandidate { candidate: __val, .. } => __val.clone(), + | ^^^^^^^^^^^^^ expected type parameter `T`, found `&T` + | + = note: expected type parameter `_` + found reference `&_` +note: `T` does not implement `Clone`, so `&T` was cloned instead + --> src/v2_std_passing_candidate_fold.rs:34:83 + | +34 | PassingCandidateFold::OnePassingCandidate { candidate: __val, .. } => __val.clone(), + | ^^^^^ + +error[E0308]: mismatched types + --> src/std_checked_arithmetic.rs:305:12 + | +305 | value: nat_magnitude(a.clone()), + | ^^^^^^^^^^^^^^^^^^^^^^^^ expected `Rc`, found `i64` + | + = note: expected struct `Rc` + found type `i64` +help: call `Into::into` on this expression to convert `i64` into `Rc` + | +305 | value: nat_magnitude(a.clone()).into(), + | +++++++ + +error[E0599]: the method `partial_cmp` exists for reference `&T`, but its trait bounds were not satisfied + --> src/v2_std_node.rs:806:103 + | +806 | ...y(|a, b| { a.partial_cmp(b).unwrap_or(std::cmp::Ordering::Equal) }); __sorted }) + | ^^^^^^^^^^^ method cannot be called on `&T` due to unsatisfied trait bounds + | + = note: the following trait bounds were not satisfied: + `T: PartialOrd<_>` + which is required by `&T: PartialOrd<&_>` + `&T: Iterator` + which is required by `&mut &T: Iterator` + `T: Iterator` + which is required by `&mut T: Iterator` + = help: items from traits can only be used if the type parameter is bounded by the trait +help: the following traits define an item `partial_cmp`, perhaps you need to restrict type parameter `T` with one of them: + | +805 | pub fn sort_labeled(items: Rc>, label_of: impl Fn(T) -> Rc + Clone) -> Rc> { + | ++++++++++ +805 | pub fn sort_labeled(items: Rc>, label_of: impl Fn(T) -> Rc + Clone) -> Rc> { + | ++++++++++++ + +error[E0308]: mismatched types + --> src/v2_std_algebra.rs:152:63 + | +149 | impl ListHeadResult { + | - expected this type parameter +150 | pub fn value(&self) -> T { + | - expected `T` because of return type +151 | match self { +152 | ListHeadResult::HeadFound { value: __val, .. } => __val.clone(), + | ^^^^^^^^^^^^^ expected type parameter `T`, found `&T` + | + = note: expected type parameter `_` + found reference `&_` +note: `T` does not implement `Clone`, so `&T` was cloned instead + --> src/v2_std_algebra.rs:152:63 + | +152 | ListHeadResult::HeadFound { value: __val, .. } => __val.clone(), + | ^^^^^ + +error[E0308]: mismatched types + --> src/v2_std_logic.rs:53:5 + | + 52 | meet: { Rc::new(move |a, b| match a.clone() { + | --------- this expression has type `v2_std_logic::Bool` + 53 | True => b.clone(), + | ^^^^ + | | + | expected `Bool`, found `True` + | `True` is interpreted as a unit struct, not a new binding +... +139 | pub struct True; + | --------------- unit struct defined here + | +help: introduce a new binding instead + | + 53 - True => b.clone(), + 53 + other_true => b.clone(), + | + +error[E0308]: mismatched types + --> src/v2_std_logic.rs:54:5 + | + 52 | meet: { Rc::new(move |a, b| match a.clone() { + | --------- this expression has type `v2_std_logic::Bool` + 53 | True => b.clone(), + 54 | False => Bool::False, + | ^^^^^ + | | + | expected `Bool`, found `False` + | `False` is interpreted as a unit struct, not a new binding +... +141 | pub struct False; + | ---------------- unit struct defined here + | +help: introduce a new binding instead + | + 54 - False => Bool::False, + 54 + other_false => Bool::False, + | + +error[E0308]: mismatched types + --> src/v2_std_logic.rs:57:5 + | + 56 | join: { Rc::new(move |a, b| match a.clone() { + | --------- this expression has type `v2_std_logic::Bool` + 57 | True => Bool::True, + | ^^^^ + | | + | expected `Bool`, found `True` + | `True` is interpreted as a unit struct, not a new binding +... +139 | pub struct True; + | --------------- unit struct defined here + | +help: introduce a new binding instead + | + 57 - True => Bool::True, + 57 + other_true => Bool::True, + | + +error[E0308]: mismatched types + --> src/v2_std_logic.rs:58:5 + | + 56 | join: { Rc::new(move |a, b| match a.clone() { + | --------- this expression has type `v2_std_logic::Bool` + 57 | True => Bool::True, + 58 | False => b.clone(), + | ^^^^^ + | | + | expected `Bool`, found `False` + | `False` is interpreted as a unit struct, not a new binding +... +141 | pub struct False; + | ---------------- unit struct defined here + | +help: introduce a new binding instead + | + 58 - False => b.clone(), + 58 + other_false => b.clone(), + | + +error[E0308]: mismatched types + --> src/v2_std_logic.rs:61:5 + | + 60 | complement: { Rc::new(move |a| match a.clone() { + | --------- this expression has type `v2_std_logic::Bool` + 61 | True => Bool::False, + | ^^^^ + | | + | expected `Bool`, found `True` + | `True` is interpreted as a unit struct, not a new binding +... +139 | pub struct True; + | --------------- unit struct defined here + | +help: introduce a new binding instead + | + 61 - True => Bool::False, + 61 + other_true => Bool::False, + | + +error[E0308]: mismatched types + --> src/v2_std_logic.rs:62:5 + | + 60 | complement: { Rc::new(move |a| match a.clone() { + | --------- this expression has type `v2_std_logic::Bool` + 61 | True => Bool::False, + 62 | False => Bool::True, + | ^^^^^ + | | + | expected `Bool`, found `False` + | `False` is interpreted as a unit struct, not a new binding +... +141 | pub struct False; + | ---------------- unit struct defined here + | +help: introduce a new binding instead + | + 62 - False => Bool::True, + 62 + other_false => Bool::True, + | + +error[E0308]: mismatched types + --> src/std_measure.rs:488:18 + | +488 | predecessor: predecessor.clone(), + | ^^^^^^^^^^^^^^^^^^^ expected `Rc`, found `i64` + | + = note: expected struct `Rc` + found type `i64` +help: call `Into::into` on this expression to convert `i64` into `Rc` + | +488 | predecessor: predecessor.clone().into(), + | +++++++ + +error[E0369]: cannot add `{integer}` to `Rc` + --> src/std_measure.rs:508:109 + | +508 | ...redecessor: predecessor, .. } => (predecessor.clone() + 1), + | ------------------- ^ - {integer} + | | + | Rc + | +note: `Rc` does not implement `std::ops::Add<{integer}>` + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:320:0 + ::: /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:323:1 + | + = note: `Rc` is defined in another crate + +error[E0599]: no method named `clone` found for type parameter `A` in the current scope + --> src/v2_std_staging.rs:16:39 + | +15 | pub fn then_outcome(f: impl Fn(A) -> Rc> + Clone + 'static, g: impl Fn(B) -> Rc... + | - method `clone` not found for this type parameter +16 | Rc::new(move |x| bind_outcome(f(x.clone()), g.clone())) + | ^^^^^ method not found in `A` + | + = help: items from traits can only be used if the type parameter is bounded by the trait +help: the following trait defines an item `clone`, perhaps you need to restrict type parameter `A` with it: + | +15 | pub fn then_outcome(f: impl Fn(A) -> Rc> + Clone + 'static, g: impl Fn(B) -> Rc> + Clone + 'static) -> Rc Rc>> { + | +++++++ + +error[E0277]: the trait bound `C: Clone` is not satisfied + --> src/v2_std_staging.rs:16:22 + | + 16 | Rc::new(move |x| bind_outcome(f(x.clone()), g.clone())) + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Clone` is not implemented for `C` + | +note: required by a bound in `bind_outcome` + --> src/v2_std_diagnostic.rs:341:34 + | +341 | pub fn bind_outcome(o: Rc>, f: impl Fn(T) -> Rc> + Clone) -> Rc... + | ^^^^^ required by this bound in `bind_outcome` +help: consider restricting type parameter `C` with trait `Clone` + | + 15 | pub fn then_outcome(f: impl Fn(A) -> Rc> + Clone + 'static, g: impl Fn(B) -> Rc> + Clone + 'static) -> Rc Rc>> { + | +++++++++++++++++++ + +error[E0308]: mismatched types + --> src/v2_std_staging.rs:31:53 + | +27 | impl CacheProbe { + | - expected this type parameter +28 | pub fn value(&self) -> B { + | - expected `B` because of return type +... +31 | CacheProbe::Hit { value: __val, .. } => __val.clone(), + | ^^^^^^^^^^^^^ expected type parameter `B`, found `&B` + | + = note: expected type parameter `_` + found reference `&_` +note: `B` does not implement `Clone`, so `&B` was cloned instead + --> src/v2_std_staging.rs:31:53 + | +31 | CacheProbe::Hit { value: __val, .. } => __val.clone(), + | ^^^^^ + +error[E0308]: mismatched types + --> src/v2_std_text.rs:65:59 + | +65 | Some(c) => Rc::new(CharResult::CharFound { value: Box::new(c as i64) }), + | ^^^^^^^^^^^^^^^^^^ expected `i64`, found `Box` + | + = note: expected type `i64` + found struct `Box` +help: consider removing the Box + | +65 - Some(c) => Rc::new(CharResult::CharFound { value: Box::new(c as i64) }), +65 + Some(c) => Rc::new(CharResult::CharFound { value: c as i64 }), + | + +error[E0308]: mismatched types + --> src/std_realization_schedule.rs:64:11 + | +64 | time: time_measure(0), + | ^^^^^^^^^^^^^^^ expected `Rc>>`, found `Rc>` + | + = note: expected struct `Rc>>` + found struct `Rc>` + +error[E0308]: mismatched types + --> src/std_realization_schedule.rs:74:11 + | +74 | time: time.clone(), + | ^^^^^^^^^^^^ expected `Rc>>`, found `Rc>` + | + = note: expected struct `Rc>>` + found struct `Rc>` + +error[E0308]: mismatched types + --> src/std_realization_schedule.rs:83:19 + | + 82 | pub fn cost_account_time_count(account: Rc>) -> Nat { + | --- this return type influences the call expression's return type + 83 | measure_count(account.time.clone()) + | ------------- ^^^^^^^^^^^^^^^^^^^^ expected `Rc>`, found `Rc>>` + | | + | arguments to this function are incorrect + | + = note: expected struct `Rc>` + found struct `Rc>>` +note: function defined here + --> src/std_measure.rs:214:8 + | +214 | pub fn measure_count(m: Rc>) -> M { + | ^^^^^^^^^^^^^ ----------------------- + +error[E0308]: mismatched types + --> src/std_state_durability.rs:152:65 + | +152 | ordered: Rc::new(v1_rt::append(acc.ordered.clone(), Rc::new(vec![boundary.clone()]))), + | ^^^^^^^^^^^^^^^^^^^^^^ expected `StateDurabilityBoundary`, found `Vector>` + | + = note: expected enum `StateDurabilityBoundary` + found struct `im::Vector>` + = note: this error originates in the macro `vec` (in Nightly builds, run with -Z macro-backtrace for more info) + +error[E0308]: mismatched types + --> src/std_state_durability.rs:163:70 + | +163 | ...ew(v1_rt::append(Rc::new(vec![requirements.first.clone()]), requirements.additional_unique.clone())) + | ------------- arguments to this function are incorrect ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Rc`, found `Rc>>` + | + = note: expected struct `Rc` + found struct `Rc>>` +help: the return type of this call is `Rc>>` due to the type of the argument passed + --> src/std_state_durability.rs:163:13 + | +163 | ...ew(v1_rt::append(Rc::new(vec![requirements.first.clone()]), requirements.additional_unique.clone())) + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^--------------------------------------^ + | | + | this argument influences the return type of `append` +note: function defined here + --> src/v1_rt.rs:379:8 + | +379 | pub fn append(list: Rc>, item: T) -> Vec { + | ^^^^^^ ------- + +error[E0308]: mismatched types + --> src/std_state_durability.rs:291:152 + | +291 | ...::new(vec![assertion.clone()]))), + | ^^^^^^^^^^^^^^^^^^^^^^^ expected `StateDefinitionCallerAssertion`, found `Vector>` + | + = note: expected struct `StateDefinitionCallerAssertion` + found struct `im::Vector>` + = note: this error originates in the macro `vec` (in Nightly builds, run with -Z macro-backtrace for more info) + +error[E0308]: mismatched types + --> src/std_state_durability.rs:636:59 + | +636 | seen: Rc::new(v1_rt::append(acc.seen.clone(), Rc::new(vec![boundary.clone()]))), + | ^^^^^^^^^^^^^^^^^^^^^^ expected `StateDurabilityBoundary`, found `Vector>` + | + = note: expected enum `StateDurabilityBoundary` + found struct `im::Vector>` + = note: this error originates in the macro `vec` (in Nightly builds, run with -Z macro-backtrace for more info) + +error[E0277]: can't compare `Target` with `Target` + --> src/std_state_durability.rs:661:258 + | +661 | ...kSubject>>| if (state_durability_admission_eq(candidate.admission.clone(), admission.clone()) && (cand... + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no implementation for `Target == Target` + | +note: required by a bound in `state_durability_admission_eq` + --> src/std_state_durability.rs:652:54 + | +652 | ...(a: Rc(evidence: Rc>>>, admission: Rc>, boundary: Rc) -> Rc> { + | +++++++++++++++++++++ + +error[E0277]: can't compare `ReadbackSubject` with `ReadbackSubject` + --> src/std_state_durability.rs:661:258 + | +661 | ...>| if (state_durability_admission_eq(candidate.admission.clone(), admission.clone()) && (candidate.per... + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no implementation for `ReadbackSubject == ReadbackSubject` + | +note: required by a bound in `state_durability_admission_eq` + --> src/std_state_durability.rs:652:90 + | +652 | ...Subject: Clone + PartialEq>(a: Rc>, b: Rc(evidence: Rc>>>, admission: Rc>, boundary: Rc) -> Rc> { + | +++++++++++++++++++++ + +error[E0277]: can't compare `Target` with `Target` + --> src/std_state_durability.rs:679:257 + | +679 | ...ckSubject>>| if state_durability_admission_eq(candidate.admission.clone(), admission.clone()) { + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no implementation for `Target == Target` + | +note: required by a bound in `state_durability_admission_eq` + --> src/std_state_durability.rs:652:54 + | +652 | ...(a: Rc(evidence: Rc>>>, admission: Rc>) -> Rc> { + | +++++++++++++++++++++ + +error[E0277]: can't compare `ReadbackSubject` with `ReadbackSubject` + --> src/std_state_durability.rs:679:257 + | +679 | ...>>| if state_durability_admission_eq(candidate.admission.clone(), admission.clone()) { + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no implementation for `ReadbackSubject == ReadbackSubject` + | +note: required by a bound in `state_durability_admission_eq` + --> src/std_state_durability.rs:652:90 + | +652 | ...Subject: Clone + PartialEq>(a: Rc>, b: Rc(evidence: Rc>>>, admission: Rc>) -> Rc> { + | +++++++++++++++++++++ + +error[E0277]: can't compare `Target` with `Target` + --> src/std_state_durability.rs:817:109 + | +817 | ..... } => match state_durability_evidence_refusal(admission.clone(), boundary.clone(), mismatched.clone(... + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no implementation for `Target == Target` + | +note: required by a bound in `state_durability_evidence_refusal` + --> src/std_state_durability.rs:696:58 + | +696 | ...arget: Clone + PartialEq, ReadbackSubject: Clone + PartialEq>(admission: Rc(boundary: Rc, admission: Rc>, capability: Rc, evidence: Rc>>>) -> Rc> { + | +++++++++++++++++++++ + +error[E0277]: can't compare `ReadbackSubject` with `ReadbackSubject` + --> src/std_state_durability.rs:817:109 + | +817 | ...atch state_durability_evidence_refusal(admission.clone(), boundary.clone(), mismatched.clone()) { + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no implementation for `ReadbackSubject == ReadbackSubject` + | +note: required by a bound in `state_durability_evidence_refusal` + --> src/std_state_durability.rs:696:94 + | +696 | ...bject: Clone + PartialEq>(admission: Rc>, boundary: ... + | ^^^^^^^^^ required by this bound in `state_durability_evidence_refusal` +help: consider further restricting type parameter `ReadbackSubject` with trait `PartialEq` + | +806 | pub fn state_durability_boundary_evidence_verdict(boundary: Rc, admission: Rc>, capability: Rc, evidence: Rc>>>) -> Rc> { + | +++++++++++++++++++++ + +error[E0277]: can't compare `Target` with `Target` + --> src/std_state_durability.rs:842:106 + | +842 | ..... } => match state_durability_evidence_refusal(admission.clone(), boundary.clone(), receipt.clone()) { + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no implementation for `Target == Target` + | +note: required by a bound in `state_durability_evidence_refusal` + --> src/std_state_durability.rs:696:58 + | +696 | ...arget: Clone + PartialEq, ReadbackSubject: Clone + PartialEq>(admission: Rc(boundary: Rc, admission: Rc>, capability: Rc, evidence: Rc>>>) -> Rc> { + | +++++++++++++++++++++ + +error[E0277]: can't compare `ReadbackSubject` with `ReadbackSubject` + --> src/std_state_durability.rs:842:106 + | +842 | ...atch state_durability_evidence_refusal(admission.clone(), boundary.clone(), receipt.clone()) { + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no implementation for `ReadbackSubject == ReadbackSubject` + | +note: required by a bound in `state_durability_evidence_refusal` + --> src/std_state_durability.rs:696:94 + | +696 | ...bject: Clone + PartialEq>(admission: Rc>, boundary: ... + | ^^^^^^^^^ required by this bound in `state_durability_evidence_refusal` +help: consider further restricting type parameter `ReadbackSubject` with trait `PartialEq` + | +806 | pub fn state_durability_boundary_evidence_verdict(boundary: Rc, admission: Rc>, capability: Rc, evidence: Rc>>>) -> Rc> { + | +++++++++++++++++++++ + +error[E0308]: mismatched types + --> src/std_state_durability.rs:878:59 + | +878 | accepted: Rc::new(v1_rt::append(acc.accepted.clone(), matched.clone())), + | ------------- ^^^^^^^^^^^^^^^ expected `Rc>`, found `Rc>>` + | | + | arguments to this function are incorrect + | + = note: expected struct `Rc>` + found struct `Rc>>>` +help: the return type of this call is `Rc>>>` due to the type of the argument passed + --> src/std_state_durability.rs:878:23 + | +878 | accepted: Rc::new(v1_rt::append(acc.accepted.clone(), matched.clone())), + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^---------------^ + | | + | this argument influences the return type of `append` +note: function defined here + --> src/v1_rt.rs:379:8 + | +379 | pub fn append(list: Rc>, item: T) -> Vec { + | ^^^^^^ ------- + +error[E0560]: struct `Rc>` has no field named `lookup` + --> src/v2_std_collection.rs:94:5 + | +94 | lookup: { let key = key.clone(); let value = value.clone(); let m = m.clone(); Rc::new(move |candidate... + | ^^^^^^ `Rc>` does not have this field + | + = note: all struct fields are already assigned + +error[E0277]: the trait bound `K: Eq` is not satisfied + --> src/v2_std_collection.rs:96:14 + | + 96 | false => v1_rt::lookup(&m, candidate.clone()), + | ^^^^^^^^^^^^^ the trait `Eq` is not implemented for `K` + | +note: required by a bound in `lookup` + --> src/v1_rt.rs:330:18 + | +330 | pub fn lookup(m: &HashMap, key: K) -> Option { + | ^^^^^^^^^^^^ required by this bound in `lookup` +help: consider further restricting type parameter `K` with trait `Eq` + | + 92 | pub fn map_insert(m: Rc>, key: K, value: V) -> Rc> { + | ++++++++++++++ + +error[E0277]: the trait bound `K: std::hash::Hash` is not satisfied + --> src/v2_std_collection.rs:96:14 + | + 96 | false => v1_rt::lookup(&m, candidate.clone()), + | ^^^^^^^^^^^^^ the trait `std::hash::Hash` is not implemented for `K` + | +note: required by a bound in `lookup` + --> src/v1_rt.rs:330:33 + | +330 | pub fn lookup(m: &HashMap, key: K) -> Option { + | ^^^^^^^^^^^^^^^ required by this bound in `lookup` +help: consider further restricting type parameter `K` with trait `Hash` + | + 92 | pub fn map_insert(m: Rc>, key: K, value: V) -> Rc> { + | +++++++++++++++++ + +error[E0308]: mismatched types + --> src/v2_std_collection.rs:93:13 + | +93 | Rc::new(Map { + | _____-------_^ + | | | + | | arguments to this function are incorrect +94 | | lookup: { let key = key.clone(); let value = value.clone(); let m = m.clone(); Rc::new(move |candida... +95 | | true => Some(value.clone()), +96 | | false => v1_rt::lookup(&m, candidate.clone()), +97 | | }) }, +98 | | }) + | |_^ expected `HashMap`, found `Rc>` + | + = note: expected struct `im::HashMap` + found struct `Rc>` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0277]: the trait bound `K: Eq` is not satisfied + --> src/v2_std_collection.rs:102:5 + | +102 | v1_rt::lookup(&m, key.clone()) + | ^^^^^^^^^^^^^ the trait `Eq` is not implemented for `K` + | +note: required by a bound in `lookup` + --> src/v1_rt.rs:330:18 + | +330 | pub fn lookup(m: &HashMap, key: K) -> Option { + | ^^^^^^^^^^^^ required by this bound in `lookup` +help: consider further restricting type parameter `K` with trait `Eq` + | +101 | pub fn map_lookup(m: Rc>, key: K) -> Option { + | ++++++++++++++ + +error[E0277]: the trait bound `K: std::hash::Hash` is not satisfied + --> src/v2_std_collection.rs:102:5 + | +102 | v1_rt::lookup(&m, key.clone()) + | ^^^^^^^^^^^^^ the trait `std::hash::Hash` is not implemented for `K` + | +note: required by a bound in `lookup` + --> src/v1_rt.rs:330:33 + | +330 | pub fn lookup(m: &HashMap, key: K) -> Option { + | ^^^^^^^^^^^^^^^ required by this bound in `lookup` +help: consider further restricting type parameter `K` with trait `Hash` + | +101 | pub fn map_lookup(m: Rc>, key: K) -> Option { + | +++++++++++++++++ + +error[E0061]: this function takes 2 arguments but 3 arguments were supplied + --> src/v2_std_cross_tree_import_model.rs:88:5 + | + 88 | v1_rt::contains(roots.clone(), r.clone(), source_root_ref_eq) + | ^^^^^^^^^^^^^^^ --------- ------------------ unexpected argument #3 of type `fn(SourceRootRef, SourceRootRef) -> bool {source_root_ref_eq}` + | | + | expected `String`, found `SourceRootRef` + | +note: expected `String`, found `Rc>` + --> src/v2_std_cross_tree_import_model.rs:88:21 + | + 88 | v1_rt::contains(roots.clone(), r.clone(), source_root_ref_eq) + | ^^^^^^^^^^^^^ + = note: expected struct `std::string::String` + found struct `Rc>` +note: function defined here + --> src/v1_rt.rs:307:8 + | +307 | pub fn contains(s: String, sub: String) -> bool { string_contains(&s, sub) } + | ^^^^^^^^ --------- ----------- +help: remove the extra argument + | + 88 - v1_rt::contains(roots.clone(), r.clone(), source_root_ref_eq) + 88 + v1_rt::contains(/* std::string::String */, /* std::string::String */) + | + +error[E0308]: `match` arms have incompatible types + --> src/v2_std_fold_assembly.rs:258:38 + | +256 | / match (*named_edge_target_lookup(fold_form.children.clone(), fold_elements_edge())).clone() { +257 | | NamedEdgeTargetLookup::Found { target: e, .. } => decode_per_element(e.clone()), + | | ----------------------------- this is found to be of type `Rc>>>>>>` +258 | | NamedEdgeTargetLookup::Absent => fold_decode_reject(fold_form.clone(), "fold_form_elements_edge_absent".to_string()), + | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Rc>>>>>`, found `Rc>>>>` +259 | | NamedEdgeTargetLookup::Ambiguous => fold_decode_reject(fold_form.clone(), "fold_form_elements_edge_ambiguous".to_string... +260 | | } + | |_- `match` arms have incompatible types + | + = note: expected struct `Rc>>>>>>` + found struct `Rc>>>>` + +error[E0308]: mismatched types + --> src/std_cache_interface.rs:638:12 + | +638 | layer: None, + | ^^^^ expected `Option`, found `None` + | + = note: expected enum `std::option::Option` + found struct `std_cache_interface::None` + +error[E0308]: mismatched types + --> src/std_cache_interface.rs:652:22 + | +652 | recompute_saved: recompute.time.clone(), + | ^^^^^^^^^^^^^^^^^^^^^^ expected `Rc>`, found `Rc>>` + | + = note: expected struct `Rc>` + found struct `Rc>>` + +error[E0308]: mismatched types + --> src/std_cache_interface.rs:667:23 + | +667 | (nanosecond_count(recompute.time.clone()) >= nanosecond_count(read_latency_cost(cache_facts_for_id(id... + | ---------------- ^^^^^^^^^^^^^^^^^^^^^^ expected `Rc>`, found `Rc>>` + | | + | arguments to this function are incorrect + | + = note: expected struct `Rc>` + found struct `Rc>>` +note: function defined here + --> src/std_measure.rs:961:8 + | +961 | pub fn nanosecond_count(n: Nanosecond) -> Nat { + | ^^^^^^^^^^^^^^^^ ------------- + +error[E0308]: mismatched types + --> src/std_cache_interface.rs:695:5 + | +694 | pub fn cache_layer_plan_primary(plan: Rc) -> NonEmptyStr { + | ----------- expected `std::string::String` because of return type +695 | plan.layers.clone().first().cloned() + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `String`, found `Option` + | + = note: expected struct `std::string::String` + found enum `std::option::Option` +help: consider using `Option::expect` to unwrap the `std::option::Option` value, panicking if the value is an `Option::None` + | +695 | plan.layers.clone().first().cloned().expect("REASON") + | +++++++++++++++++ + +error[E0308]: mismatched types + --> src/std_cache_interface.rs:699:5 + | +698 | pub fn cache_layer_plan_fallback(plan: Rc) -> NonEmptyStr { + | ----------- expected `std::string::String` because of return type +699 | plan.layers.clone().iter().cloned().skip(1 as usize).next() + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `String`, found `Option` + | + = note: expected struct `std::string::String` + found enum `std::option::Option` +help: consider using `Option::expect` to unwrap the `std::option::Option` value, panicking if the value is an `Option::None` + | +699 | plan.layers.clone().iter().cloned().skip(1 as usize).next().expect("REASON") + | +++++++++++++++++ + +error[E0308]: mismatched types + --> src/std_cache_interface.rs:703:5 + | +702 | pub fn cache_facts_for_id(id: NonEmptyStr, catalog: Rc>>) -> Rc { + | ----------------------- expected `Rc` because of return type +703 | Rc::new({ let mut __result = Vec::new(); for facts in catalog.iter().cloned() { if (facts.identity.clone() == id.clone()) { __result.push(facts); } } __result }).first().cloned() + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Rc`, found `Option>` + | + = note: expected struct `Rc<_>` + found enum `std::option::Option>` +help: consider using `Option::expect` to unwrap the `std::option::Option>` value, panicking if the value is an `Option::None` + | +703 | Rc::new({ let mut __result = Vec::new(); for facts in catalog.iter().cloned() { if (facts.identity.clone() == id.clone()) { __result.push(facts); } } __result }).first().cloned().expect("REASON") + | +++++++++++++++++ + +error[E0308]: mismatched types + --> src/std_realization_measurement.rs:96:11 + | +96 | time: time.clone(), + | ^^^^^^^^^^^^ expected `Rc>>`, found `Rc>` + | + = note: expected struct `Rc>>` + found struct `Rc>` + +error[E0308]: mismatched types + --> src/std_realization_reconcile.rs:85:65 + | +82 | impl Reconciliation { + | - expected this type parameter +83 | pub fn applied(&self) -> A { + | - expected `A` because of return type +84 | match self { +85 | Reconciliation::Converged { applied: __val, .. } => __val.clone(), + | ^^^^^^^^^^^^^ expected type parameter `A`, found `&A` + | + = note: expected type parameter `_` + found reference `&_` +note: `A` does not implement `Clone`, so `&A` was cloned instead + --> src/std_realization_reconcile.rs:85:65 + | +85 | Reconciliation::Converged { applied: __val, .. } => __val.clone(), + | ^^^^^ + +error[E0425]: cannot find function `import_resolution_facts` in this scope + --> src/v2_lens_module_graph.rs:97:5 + | +97 | import_resolution_facts(pool_roots.clone(), importer_roots.clone(), exclude_substrings.clone()) + | ^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope + +error[E0425]: cannot find function `reference_resolution_facts` in this scope + --> src/v2_lens_module_graph.rs:101:5 + | +101 | reference_resolution_facts(pool_roots.clone(), importer_roots.clone(), exclude_substrings.clone()) + | ^^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope + +error[E0425]: cannot find function `module_declaration_facts` in this scope + --> src/v2_lens_module_graph.rs:114:5 + | +114 | module_declaration_facts(pool_roots.clone()) + | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope + +error[E0425]: cannot find function `dependency_resolution_facts` in this scope + --> src/v2_lens_module_graph.rs:130:5 + | +130 | dependency_resolution_facts(pool_roots.clone(), importer_roots.clone(), exclude_substrings.clone()) + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope + +error[E0061]: this function takes 2 arguments but 3 arguments were supplied + --> src/v2_lens_module_graph.rs:161:8 + | +161 | if v1_rt::contains(acc.clone(), item.clone(), string_eq) { + | ^^^^^^^^^^^^^^^ --------- unexpected argument #3 of type `fn(Rc, {type error}>, Rc, {type error}>) -> bool {v2_lens_module_graph::string_eq}` + | +note: function defined here + --> src/v1_rt.rs:307:8 + | +307 | pub fn contains(s: String, sub: String) -> bool { string_contains(&s, sub) } + | ^^^^^^^^ +help: remove the extra argument + | +161 - if v1_rt::contains(acc.clone(), item.clone(), string_eq) { +161 + if v1_rt::contains(acc.clone(), item.clone()) { + | + +error[E0061]: this function takes 2 arguments but 3 arguments were supplied + --> src/v2_lens_module_graph.rs:190:8 + | +190 | if v1_rt::contains(acc.clone(), item.clone(), string_eq) { + | ^^^^^^^^^^^^^^^ --------- unexpected argument #3 of type `fn(Rc, {type error}>, Rc, {type error}>) -> bool {v2_lens_module_graph::string_eq}` + | +note: function defined here + --> src/v1_rt.rs:307:8 + | +307 | pub fn contains(s: String, sub: String) -> bool { string_contains(&s, sub) } + | ^^^^^^^^ +help: remove the extra argument + | +190 - if v1_rt::contains(acc.clone(), item.clone(), string_eq) { +190 + if v1_rt::contains(acc.clone(), item.clone()) { + | + +error[E0061]: this function takes 2 arguments but 3 arguments were supplied + --> src/v2_lens_module_graph.rs:223:8 + | +223 | if v1_rt::contains(state.reached.clone(), path.clone(), string_eq) { + | ^^^^^^^^^^^^^^^ --------- unexpected argument #3 of type `fn(Rc, {type error}>, Rc, {type error}>) -> bool {v2_lens_module_graph::string_eq}` + | +note: function defined here + --> src/v1_rt.rs:307:8 + | +307 | pub fn contains(s: String, sub: String) -> bool { string_contains(&s, sub) } + | ^^^^^^^^ +help: remove the extra argument + | +223 - if v1_rt::contains(state.reached.clone(), path.clone(), string_eq) { +223 + if v1_rt::contains(state.reached.clone(), path.clone()) { + | + +error[E0560]: struct `Rc>` has no field named `lookup` + --> src/v2_std_model_core.rs:190:5 + | +190 | lookup: { let facts = facts.clone(); Rc::new(move |axis| match (*model_core_bool_fact_lookup(facts.cl... + | ^^^^^^ `Rc>` does not have this field + | + = note: all struct fields are already assigned + +error[E0308]: mismatched types + --> src/v2_std_model_core.rs:189:13 + | +189 | Rc::new(Map { + | _____-------_^ + | | | + | | arguments to this function are incorrect +190 | | lookup: { let facts = facts.clone(); Rc::new(move |axis| match (*model_core_bool_fact_lookup(facts.... +191 | | Witness::Holds { value: v, .. } => Some(v.clone()), +192 | | Witness::Violates { diagnostic: _, .. } => None, +193 | | }) }, +194 | | }) + | |_^ expected `HashMap>`, found `Rc>` + | + = note: expected struct `im::HashMap>` + found struct `Rc>` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0369]: binary operation `<` cannot be applied to type `Rc` + --> src/v2_std_nat.rs:56:23 + | +56 | if (a.clone() < b.clone()) { + | --------- ^ --------- Rc + | | + | Rc + | +note: an implementation of `PartialOrd` might be missing for `v2_std_nat::Nat` + --> src/v2_std_nat.rs:18:1 + | +18 | pub enum Nat { + | ^^^^^^^^^^^^ must implement `PartialOrd` +help: consider annotating `v2_std_nat::Nat` with `#[derive(PartialEq, PartialOrd)]` + | +18 + #[derive(PartialEq, PartialOrd)] +19 | pub enum Nat { + | + +error[E0308]: mismatched types + --> src/v2_std_node_query.rs:150:104 + | +146 | impl CoproductNullaryInhabitantLookup { + | - expected this type parameter +147 | pub fn value(&self) -> T { + | - expected `T` because of return type +... +150 | CoproductNullaryInhabitantLookup::CoproductNullaryInhabitantUnique { value: __val, .. } => __val.clone(), + | ^^^^^^^^^^^^^ expected type parameter `T`, found `&T` + | + = note: expected type parameter `_` + found reference `&_` +note: `T` does not implement `Clone`, so `&T` was cloned instead + --> src/v2_std_node_query.rs:150:104 + | +150 | ... CoproductNullaryInhabitantLookup::CoproductNullaryInhabitantUnique { value: __val, .. } => __val.cl... + | ^^^^^ + +error[E0308]: mismatched types + --> src/v2_std_provenance.rs:79:27 + | +79 | witness_from_optional(v1_rt::lookup(&index.entries.clone(), id.clone()).expect("fail-closed: an optional value flowed into non-optional parameter 0 of witness_from_optional (empty Optional at runtime)"), s... + | --------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Option>`, found `Rc` + | | + | arguments to this function are incorrect + | + = note: expected enum `std::option::Option>` + found struct `Rc<_>` +note: function defined here + --> src/v2_std_witness.rs:26:8 + | +26 | pub fn witness_from_optional(opt: Option, absent: Rc) -> Rc> { + | ^^^^^^^^^^^^^^^^^^^^^ -------------- +help: try wrapping the expression in `Some` + | +79 | witness_from_optional(Some(v1_rt::lookup(&index.entries.clone(), id.clone()).expect("fail-closed: an optional value flowed into non-optional parameter 0 of witness_from_optional (empty Optional at runtime)")), span_index_occurrence_absent_diagnostic()) + | +++++ + + +error[E0308]: arguments to this function are incorrect + --> src/v2_lens_determinism.rs:135:42 + | +135 | ...acc, e, child| determinism_axis_fold_step(acc.clone(), child.clone(), e.clone())) }, + | ^^^^^^^^^^^^^^^^^^^^^^^^^^ ------------- --------- expected `Rc`, found `Rc` + | | + | expected `Rc`, found `Rc` + | +note: function defined here + --> src/v2_lens_determinism.rs:128:8 + | +128 | pub fn determinism_axis_fold_step(acc: Rc, _: Rc, child: Rc) -> Rc src/v2_lens_determinism.rs:161:64 + | +161 | Determinism::NonDeterministic { source: _, .. } => Rc::new(Witness::::Violates { + | ________________________________________________________-------_^ + | | | + | | arguments to this function are incorrect +162 | | diagnostic: determinism_leak_diagnostic(n.clone()), +163 | | }), + | |_^ expected `Witness>`, found `Witness` + | + = note: expected enum `Witness>` + found enum `Witness` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0308]: arguments to this function are incorrect + --> src/v2_std_cardinality.rs:581:42 + | +581 | ...acc, e, child| termination_proof_fold_step(acc.clone(), child.clone(), e.clone())) }, + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ ------------- --------- expected `Rc>>`, found `Rc` + | | + | expected `Rc`, found `Rc>>` + | +note: function defined here + --> src/v2_std_cardinality.rs:566:8 + | +566 | pub fn termination_proof_fold_step(acc: Rc>>, _: Rc, child: Rc src/v2_std_compilers_lexing.rs:235:13 + | +235 | Rc::new(skip(stream.all.clone(), stream.pos.clone())) + | ------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Vector>`, found `Rc>>` + | | + | arguments to this function are incorrect + | + = note: expected struct `im::Vector>` + found struct `Rc>>` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0308]: mismatched types + --> src/v2_std_integer.rs:1359:26 + | +1359 | if (digit.clone() == 0) { + | ------------- ^ expected `Rc`, found integer + | | + | expected because this is `Rc` + | + = note: expected struct `Rc` + found type `{integer}` + +error[E0308]: mismatched types + --> src/v2_std_integer.rs:1362:30 + | +1362 | if (digit.clone() == 1) { + | ------------- ^ expected `Rc`, found integer + | | + | expected because this is `Rc` + | + = note: expected struct `Rc` + found type `{integer}` + +error[E0308]: mismatched types + --> src/v2_std_integer.rs:1365:34 + | +1365 | if (digit.clone() == 2) { + | ------------- ^ expected `Rc`, found integer + | | + | expected because this is `Rc` + | + = note: expected struct `Rc` + found type `{integer}` + +error[E0308]: mismatched types + --> src/v2_std_integer.rs:1368:38 + | +1368 | if (digit.clone() == 3) { + | ------------- ^ expected `Rc`, found integer + | | + | expected because this is `Rc` + | + = note: expected struct `Rc` + found type `{integer}` + +error[E0308]: mismatched types + --> src/v2_std_integer.rs:1371:42 + | +1371 | if (digit.clone() == 4) { + | ------------- ^ expected `Rc`, found integer + | | + | expected because this is `Rc` + | + = note: expected struct `Rc` + found type `{integer}` + +error[E0308]: mismatched types + --> src/v2_std_integer.rs:1374:46 + | +1374 | if (digit.clone() == 5) { + | ------------- ^ expected `Rc`, found integer + | | + | expected because this is `Rc` + | + = note: expected struct `Rc` + found type `{integer}` + +error[E0308]: mismatched types + --> src/v2_std_integer.rs:1377:50 + | +1377 | ... if (digit.clone() == 6) { + | ------------- ^ expected `Rc`, found integer + | | + | expected because this is `Rc` + | + = note: expected struct `Rc` + found type `{integer}` + +error[E0308]: mismatched types + --> src/v2_std_integer.rs:1380:54 + | +1380 | ... if (digit.clone() == 7) { + | ------------- ^ expected `Rc`, found integer + | | + | expected because this is `Rc` + | + = note: expected struct `Rc` + found type `{integer}` + +error[E0308]: mismatched types + --> src/v2_std_integer.rs:1383:58 + | +1383 | ... if (digit.clone() == 8) { + | ------------- ^ expected `Rc`, found integer + | | + | expected because this is `Rc` + | + = note: expected struct `Rc` + found type `{integer}` + +error[E0308]: mismatched types + --> src/v2_std_integer.rs:1400:30 + | +1400 | if (value.clone() == 0) { + | ------------- ^ expected `Rc`, found integer + | | + | expected because this is `Rc` + | + = note: expected struct `Rc` + found type `{integer}` + +error[E0369]: binary operation `<` cannot be applied to type `Rc` + --> src/v2_std_integer.rs:1403:31 + | +1403 | if (value.clone() < 10) { + | ------------- ^ -- {integer} + | | + | Rc + | +note: `Rc` does not implement `PartialOrd<{integer}>` + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:320:0 + ::: /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:323:1 + | + = note: `Rc` is defined in another crate + +error[E0369]: cannot divide `Rc` by `{integer}` + --> src/v2_std_integer.rs:1407:47 + | +1407 | let rest = (value.clone() / 10); + | ------------- ^ -- {integer} + | | + | Rc + | +note: `Rc` does not implement `Div<{integer}>` + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:320:0 + ::: /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:323:1 + | + = note: `Rc` is defined in another crate + +error[E0599]: no method named `apply` found for struct `Rc` in the current scope + --> src/v2_compiler_tokenize.rs:331:54 + | +331 | apply: { Rc::new(move |s| match (*left_r.clone().apply(s.clone())).clone() { + | ^^^^^----------- help: remove the arguments + | | + | field, not a method + +error[E0599]: no method named `apply` found for struct `Rc` in the current scope + --> src/v2_compiler_tokenize.rs:333:104 + | +333 | ...=> match (*right_r.clone().apply(rest1.clone())).clone() { + | ^^^^^--------------- help: remove the arguments + | | + | field, not a method + +error[E0599]: no method named `apply` found for struct `Rc` in the current scope + --> src/v2_compiler_tokenize.rs:343:54 + | +343 | apply: { Rc::new(move |s| match (*left_r.clone().apply(s.clone())).clone() { + | ^^^^^----------- help: remove the arguments + | | + | field, not a method + +error[E0599]: no method named `apply` found for struct `Rc` in the current scope + --> src/v2_compiler_tokenize.rs:348:57 + | +348 | LexMatchResult::LexMatchRejected => right_r.clone().apply(s.clone()), + | ^^^^^----------- help: remove the arguments + | | + | field, not a method + +error[E0599]: no method named `apply` found for struct `Rc` in the current scope + --> src/v2_compiler_tokenize.rs:352:54 + | +352 | apply: { Rc::new(move |s| match (*elem_r.clone().apply(s.clone())).clone() { + | ^^^^^----------- help: remove the arguments + | | + | field, not a method + +error[E0599]: no method named `apply` found for struct `Rc` in the current scope + --> src/v2_compiler_tokenize.rs:377:54 + | +377 | apply: { Rc::new(move |s| match (*elem_r.clone().apply(s.clone())).clone() { + | ^^^^^----------- help: remove the arguments + | | + | field, not a method + +error[E0599]: no method named `apply` found for struct `Rc` in the current scope + --> src/v2_compiler_tokenize.rs:393:54 + | +393 | apply: { Rc::new(move |s| match (*open_r.clone().apply(s.clone())).clone() { + | ^^^^^----------- help: remove the arguments + | | + | field, not a method + +error[E0560]: struct `Rc>` has no field named `lookup` + --> src/v2_extdeps_runtimes_v2_effect_io_pure.rs:119:5 + | +119 | lookup: { Rc::new(move |_| None) }, + | ^^^^^^ `Rc>` does not have this field + | + = note: all struct fields are already assigned + +error[E0308]: mismatched types + --> src/v2_extdeps_runtimes_v2_effect_io_pure.rs:118:23 + | +118 | bindings: Rc::new(Map { + | _______________-------_^ + | | | + | | arguments to this function are incorrect +119 | | lookup: { Rc::new(move |_| None) }, +120 | | }), + | |_^ expected `HashMap, ...>`, found `Rc>` + | + = note: expected struct `im::HashMap, Rc>` + found struct `Rc>` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0614]: type `std::option::Option>` cannot be dereferenced + --> src/v2_extdeps_runtimes_v2_effect_io_pure.rs:211:15 + | +211 | match (*v1_rt::map_get(&store.entries.clone(), locator.identity.clone())).clone() { + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't be dereferenced + +error[E0599]: no variant, associated function, or constant named `GlobalBareAmbiguous` found for enum `std::option::Option` in the current scope + --> src/v2_std_symbol_index.rs:116:20 + | +116 | Some(Optional::GlobalBareAmbiguous) => index.clone(), + | ^^^^^^^^^^^^^^^^^^^ variant, associated function, or constant not found in `std::option::Option<_>` + +error[E0599]: no variant named `GlobalBareUnique` found for enum `std::option::Option<_>` + --> src/v2_std_symbol_index.rs:117:20 + | +117 | Some(Optional::GlobalBareUnique { node: existing, path: existing_path, .. }) => if ((existing_path.cl... + | ^^^^^^^^^^^^^^^^ variant not found in `std::option::Option<_>` + +error[E0599]: no variant named `GlobalBareUnique` found for enum `std::option::Option<_>` + --> src/v2_std_symbol_index.rs:151:20 + | +151 | Some(Optional::GlobalBareUnique { node: n, .. }) => Rc::new(GlobalBareLookup::GlobalBareHit { + | ^^^^^^^^^^^^^^^^ variant not found in `std::option::Option<_>` + +error[E0599]: no variant, associated function, or constant named `GlobalBareAmbiguous` found for enum `std::option::Option` in the current scope + --> src/v2_std_symbol_index.rs:154:20 + | +154 | Some(Optional::GlobalBareAmbiguous) => Rc::new(GlobalBareLookup::GlobalBareLookupAmbiguous), + | ^^^^^^^^^^^^^^^^^^^ variant, associated function, or constant not found in `std::option::Option<_>` + +error[E0599]: no method named `clone` found for type parameter `A` in the current scope + --> src/v2_compiler_materialization_carriers.rs:188:59 + | +186 | pub fn cached_stage_governed(realization: Rc, lookup: impl Fn(A) -> Rc crate::v2_std_staging::resolve_probe(lookup(x.clone()), stage.clone(), x.clone()), + | ^^^^^ method not found in `A` + | + = help: items from traits can only be used if the type parameter is bounded by the trait +help: the following trait defines an item `clone`, perhaps you need to restrict type parameter `A` with it: + | +186 | pub fn cached_stage_governed(realization: Rc, lookup: impl Fn(A) -> Rc> + Clone + 'static, stage: impl Fn(A) -> Rc> + Clone + 'static) -> Rc Rc>> { + | +++++++ + +error[E0277]: the trait bound `B: Clone` is not satisfied + --> src/v2_compiler_materialization_carriers.rs:188:50 + | +188 | true => crate::v2_std_staging::resolve_probe(lookup(x.clone()), stage.clone(), x.clone()), + | ------------------------------------ ^^^^^^^^^^^^^^^^^ the trait `Clone` is not implemented for `B` + | | + | required by a bound introduced by this call + | +note: required by a bound in `resolve_probe` + --> src/v2_std_staging.rs:36:35 + | + 36 | pub fn resolve_probe(probe: Rc>, stage: impl Fn(A) -> Rc> + ... + | ^^^^^ required by this bound in `resolve_probe` +help: consider restricting type parameter `B` with trait `Clone` + | +186 | pub fn cached_stage_governed(realization: Rc, lookup: impl Fn(A) -> Rc> + Clone + 'static, stage: impl Fn(A) -> Rc> + Clone + 'static) -> Rc Rc>> { + | +++++++++++++++++++ + +error[E0599]: no method named `clone` found for type parameter `A` in the current scope + --> src/v2_compiler_materialization_carriers.rs:188:86 + | +186 | ...overned(realization: Rc, lookup: impl Fn(A) -> Rc> + Clone... + | - method `clone` not found for this type parameter +187 | ...match materialization_allows_memo_store(realization.materialization.clone()) { +188 | ..._std_staging::resolve_probe(lookup(x.clone()), stage.clone(), x.clone()), + | ^^^^^ method not found in `A` + | + = help: items from traits can only be used if the type parameter is bounded by the trait +help: the following trait defines an item `clone`, perhaps you need to restrict type parameter `A` with it: + | +186 | pub fn cached_stage_governed(realization: Rc, lookup: impl Fn(A) -> Rc> + Clone + 'static, stage: impl Fn(A) -> Rc> + Clone + 'static) -> Rc Rc>> { + | +++++++ + +error[E0277]: the trait bound `A: Clone` is not satisfied + --> src/v2_compiler_materialization_carriers.rs:188:84 + | +188 | true => crate::v2_std_staging::resolve_probe(lookup(x.clone()), stage.clone(), x.clone()), + | ------------------------------------ ^^^^^^^^^ the trait `Clone` is not implemented for `A` + | | + | required by a bound introduced by this call + | +note: required by a bound in `resolve_probe` + --> src/v2_std_staging.rs:36:25 + | + 36 | pub fn resolve_probe(probe: Rc>, stage: impl Fn(A) -> Rc> + ... + | ^^^^^ required by this bound in `resolve_probe` +help: consider restricting type parameter `A` with trait `Clone` + | +186 | pub fn cached_stage_governed(realization: Rc, lookup: impl Fn(A) -> Rc> + Clone + 'static, stage: impl Fn(A) -> Rc> + Clone + 'static) -> Rc Rc>> { + | +++++++++++++++++++ + +error[E0599]: no method named `clone` found for type parameter `A` in the current scope + --> src/v2_compiler_materialization_carriers.rs:189:22 + | +186 | pub fn cached_stage_governed(realization: Rc, lookup: impl Fn(A) -> Rc stage(x.clone()), + | ^^^^^ method not found in `A` + | + = help: items from traits can only be used if the type parameter is bounded by the trait +help: the following trait defines an item `clone`, perhaps you need to restrict type parameter `A` with it: + | +186 | pub fn cached_stage_governed(realization: Rc, lookup: impl Fn(A) -> Rc> + Clone + 'static, stage: impl Fn(A) -> Rc> + Clone + 'static) -> Rc Rc>> { + | +++++++ + +error[E0282]: type annotations needed + --> src/v2_std_find_witness.rs:77:67 + | +77 | ...n_rules(), rule.clone(), |left, right| (left.clone() == right.clone())) + | ^^^^ ---- type must be known at this point + | +help: consider giving this closure parameter an explicit type + | +77 | v1_rt::contains(realized_preservation_rules(), rule.clone(), |left: /* Type */, right| (left.clone() == right.clone())) + | ++++++++++++ + +error[E0061]: this function takes 2 arguments but 3 arguments were supplied + --> src/v2_std_find_witness.rs:77:5 + | + 77 | v1_rt::contains(realized_preservation_rules(), rule.clone(), |left, right| (left.clone() == right.clone())) + | ^^^^^^^^^^^^^^^ --------------------------------------------- unexpected argument #3 + | +note: expected `String`, found `Rc>` + --> src/v2_std_find_witness.rs:77:21 + | + 77 | v1_rt::contains(realized_preservation_rules(), rule.clone(), |left, right| (left.clone() == right.clo... + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + = note: expected struct `std::string::String` + found struct `Rc>` +note: function defined here + --> src/v1_rt.rs:307:8 + | +307 | pub fn contains(s: String, sub: String) -> bool { string_contains(&s, sub) } + | ^^^^^^^^ --------- +help: remove the extra argument + | + 77 - v1_rt::contains(realized_preservation_rules(), rule.clone(), |left, right| (left.clone() == right.clone())) + 77 + v1_rt::contains(/* std::string::String */, rule.clone()) + | + +error[E0614]: type `std::option::Option<_>` cannot be dereferenced + --> src/v2_std_compilers_target_model.rs:442:11 + | +442 | match (*v1_rt::map_get(&binding_spellings, binding.clone())).clone() { + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't be dereferenced + +error[E0614]: type `std::option::Option<_>` cannot be dereferenced + --> src/v2_std_compilers_target_model.rs:534:105 + | +534 | ... match (*v1_rt::map_get(&target.token_class_emit_transforms.clone(), token_class.clone())).clone() { + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't be dereferenced + +error[E0614]: type `std::option::Option<_>` cannot be dereferenced + --> src/v2_std_compilers_target_model.rs:544:100 + | +544 | ... match (*v1_rt::map_get(&target.token_class_emit_transforms.clone(), token_class.clone())).clone() { + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't be dereferenced + +error[E0308]: mismatched types + --> src/v2_std_compilers_target_model.rs:2137:43 + | +2137 | optional_present(source_atom_char(c.clone())) + | ---------------- ^^^^^^^^^ expected `i64`, found `String` + | | + | arguments to this function are incorrect + | +note: function defined here + --> src/v2_std_compilers_target_model.rs:2126:8 + | +2126 | pub fn source_atom_char(codepoint: i64) -> Rc { + | ^^^^^^^^^^^^^^^^ -------------- + +error[E0308]: mismatched types + --> src/v2_std_compilers_target_model.rs:2384:15 + | +2384 | identity: codepoint.clone(), + | ^^^^^^^^^^^^^^^^^ expected `String`, found `i64` + | +help: try using a conversion method + | +2384 - identity: codepoint.clone(), +2384 + identity: codepoint.to_string(), + | + +error[E0308]: mismatched types + --> src/v2_std_compilers_target_model.rs:2647:62 + | +2647 | ...1_rt::map_get(&fold_list(shape.callees.clone(), v1_rt::rc_empty_map::<_, _>(), |acc, row| v1_rt::rc_m... + | --------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `HashMap<_, _>`, found `Rc>` + | | + | arguments to this function are incorrect + | + = note: expected struct `im::HashMap<_, _>` + found struct `Rc>` +help: the return type of this call is `Rc>` due to the type of the argument passed + --> src/v2_std_compilers_target_model.rs:2647:29 + | +2647 | ...t(&fold_list(shape.callees.clone(), v1_rt::rc_empty_map::<_, _>(), |acc, row| v1_rt::rc_map_insert(acc.clone(), row.effect_kind.clone(), row.callee.clone())), e... + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^-----------------------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + | | + | this argument influences the return type of `fold_list` +note: function defined here + --> src/v2_std_algebra.rs:64:8 + | + 64 | pub fn fold_list(mut xs: Rc>, mut empty: A, mut cons: impl Fn(A, T) ->... + | ^^^^^^^^^ ------------ + +error[E0614]: type `std::option::Option<_>` cannot be dereferenced + --> src/v2_std_compilers_target_model.rs:2647:11 + | +2647 | ...ch (*v1_rt::map_get(&fold_list(shape.callees.clone(), v1_rt::rc_empty_map::<_, _>(), |acc, row| v1_rt::rc_map_insert(acc.clone(), row.effect_kind.clone(), row.callee.clone())), effect_kind.clone())).cl... + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't be dereferenced + +error[E0308]: mismatched types + --> src/v2_std_compilers_target_model.rs:7002:90 + | +7002 | ...lid => Rc::new(TargetUseSiteOwnershipCatalogLookup::TargetUseSiteOwnershipCatalogInvalid), + | ------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `TargetUseSiteOwnershipLookup`, found `TargetUseSiteOwnershipCatalogLookup` + | | + | arguments to this function are incorrect + | +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0308]: mismatched types + --> src/v2_compiler_target_carriers.rs:105:64 + | +105 | ...=> outcome_accepted(Some(child.clone()).expect("fail-closed: an optional value flowed into non-optional parameter 0 of outcome_accepted (empty Optional at runtime)")), + | ---------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Option>`, found `Rc` + | | + | arguments to this function are incorrect + | + = note: expected enum `std::option::Option>` + found struct `Rc<_>` +help: the return type of this call is `Rc` due to the type of the argument passed + --> src/v2_compiler_target_carriers.rs:105:47 + | +105 | ...=> outcome_accepted(Some(child.clone()).expect("fail-closed: an optional value flowed into non-optional parameter 0 of outcome_accepted (empty Optional at runtime)")), + | ^^^^^^^^^^^^^^^^^-------------------------------------------------------------------------------------------------------------------------------------------------^ + | | + | this argument influences the return type of `outcome_accepted` +note: function defined here + --> src/v2_std_diagnostic.rs:172:8 + | +172 | pub fn outcome_accepted(value: T) -> Rc> { + | ^^^^^^^^^^^^^^^^ -------- +help: try wrapping the expression in `Some` + | +105 | Outcome::Accepted { value: child, .. } => outcome_accepted(Some(Some(child.clone()).expect("fail-closed: an optional value flowed into non-optional parameter 0 of outcome_accepted (empty Optional at runtime)"))), + | +++++ + + +error[E0609]: no field `member` on type `Rc>>` + --> src/v2_std_grammar.rs:124:82 + | +124 | FormalGrammarSymbol::FormalTerminalOccurrence { terminal, .. } => (terminals.member)(terminal.clone()), + | ^^^^^^ unknown field + +error[E0609]: no field `member` on type `Rc>>` + --> src/v2_std_grammar.rs:125:104 + | +125 | ...inal: nonterminal, .. } => (nonterminals.member)(nonterminal.clone()), + | ^^^^^^ unknown field + +error[E0609]: no field `member` on type `Rc>>` + --> src/v2_std_grammar.rs:134:102 + | +134 | ... (acc.clone() && (g.nonterminals.clone().member)(production.lhs.clone()))) + | ^^^^^^ unknown field + +error[E0609]: no field `member` on type `Rc>>` + --> src/v2_std_grammar.rs:142:33 + | +142 | if !(g.nonterminals.clone().member)(g.start.clone()) { + | ^^^^^^ unknown field + +error[E0308]: mismatched types + --> src/v2_std_grammar.rs:1285:29 + | +1281 | ...ch (*progress.clone()).clone() { + | --------------------------- this expression has type `Witness>` +... +1285 | ...ness::Holds { value: DeriveGrammarRelationTokensProgress { edges, conj_index, conj_children, .. }, ..... + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Rc`, found `DeriveGrammarRelationTokensProgress` + | + = note: expected struct `Rc` + found struct `DeriveGrammarRelationTokensProgress` + +error[E0308]: mismatched types + --> src/v2_std_grammar.rs:1363:29 + | +1356 | match (*fold_list(production.rhs.clone(), Rc::new(Witness::>::Holds { + | _______- +1357 | | value: Rc::new(DeriveGrammarRelationTokensProgress { +1358 | | edges: Rc::new(vec![]), +1359 | | conj_index: 0, +1360 | | conj_children: conj_children.clone(), +1361 | | }), +1362 | | }), |progress, symbol| derive_grammar_relation_token_edges_recursive_step(progress.clone(), productions.clone(), emitted.clone(), symbol.clone()))).clone() { + | |___________________________________________________________________________________________________________________________________________________________- this expression has type `Witness>` +1363 | Witness::Holds { value: DeriveGrammarRelationTokensProgress { edges: result, conj_index, conj_children, .. }, .. } => if (conj_index.clone() == conj_posit... + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Rc`, found `DeriveGrammarRelationTokensProgress` + | + = note: expected struct `Rc` + found struct `DeriveGrammarRelationTokensProgress` + +error[E0308]: mismatched types + --> src/v2_std_grammar.rs:1365:12 + | +1365 | value: result.clone(), + | ^^^^^^^^^^^^^^ expected `()`, found `Rc>>` + | + = note: expected unit type `()` + found struct `Rc>>` + +error[E0308]: mismatched types + --> src/v2_std_grammar.rs:1364:21 + | +1364 | Rc::new(Witness::::Holds { + | _____________-------_^ + | | | + | | arguments to this function are incorrect +1365 | | value: result.clone(), +1366 | | }) + | |_^ expected `Witness>>>`, found `Witness<()>` + | + = note: expected enum `Witness>>>` + found enum `Witness<()>` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0560]: struct `Rc>` has no field named `lookup` + --> src/v2_extdeps_languages_llvm_ir.rs:1100:5 + | +1100 | lookup: { let facts = facts.clone(); Rc::new(move |axis| if (axis.clone() == "ModelCoreFactAxisSurfa... + | ^^^^^^ `Rc>` does not have this field + | + = note: all struct fields are already assigned + +error[E0599]: no variant named `Present` found for enum `std::option::Option<_>` + --> src/v2_extdeps_languages_llvm_ir.rs:1101:19 + | +1101 | Optional::Present { + | ^^^^^^^ variant not found in `std::option::Option<_>` + +error[E0599]: no variant named `Present` found for enum `std::option::Option<_>` + --> src/v2_extdeps_languages_llvm_ir.rs:1106:23 + | +1106 | Optional::Present { + | ^^^^^^^ variant not found in `std::option::Option<_>` + +error[E0599]: no variant named `Present` found for enum `std::option::Option<_>` + --> src/v2_extdeps_languages_llvm_ir.rs:1111:27 + | +1111 | Optional::Present { + | ^^^^^^^ variant not found in `std::option::Option<_>` + +error[E0308]: mismatched types + --> src/v2_extdeps_languages_llvm_ir.rs:1099:13 + | +1099 | Rc::new(Map { + | _____-------_^ + | | | + | | arguments to this function are incorrect +1100 | | lookup: { let facts = facts.clone(); Rc::new(move |axis| if (axis.clone() == "ModelCoreFactAxisSur... +1101 | | Optional::Present { +1102 | | value: llvm_inhabitant_atom(facts.surface_spelling.clone()), +... | +1118 | | }) }, +1119 | | }) + | |_^ expected `HashMap>`, found `Rc>` + | + = note: expected struct `im::HashMap>` + found struct `Rc>` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0560]: struct `Rc>` has no field named `lookup` + --> src/v2_extdeps_languages_llvm_ir.rs:1124:5 + | +1124 | lookup: { let facts = facts.clone(); Rc::new(move |axis| if (axis.clone() == "ModelCoreFactAxisSurfa... + | ^^^^^^ `Rc>` does not have this field + | + = note: all struct fields are already assigned + +error[E0599]: no variant named `Present` found for enum `std::option::Option<_>` + --> src/v2_extdeps_languages_llvm_ir.rs:1125:19 + | +1125 | Optional::Present { + | ^^^^^^^ variant not found in `std::option::Option<_>` + +error[E0599]: no variant named `Present` found for enum `std::option::Option<_>` + --> src/v2_extdeps_languages_llvm_ir.rs:1130:23 + | +1130 | Optional::Present { + | ^^^^^^^ variant not found in `std::option::Option<_>` + +error[E0308]: mismatched types + --> src/v2_extdeps_languages_llvm_ir.rs:1123:13 + | +1123 | Rc::new(Map { + | _____-------_^ + | | | + | | arguments to this function are incorrect +1124 | | lookup: { let facts = facts.clone(); Rc::new(move |axis| if (axis.clone() == "ModelCoreFactAxisSur... +1125 | | Optional::Present { +1126 | | value: llvm_inhabitant_atom(facts.surface_spelling.clone()), +... | +1136 | | }) }, +1137 | | }) + | |_^ expected `HashMap>`, found `Rc>` + | + = note: expected struct `im::HashMap>` + found struct `Rc>` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0560]: struct `Rc>` has no field named `member` + --> src/v2_std_language_model.rs:45:5 + | +45 | member: { Rc::new(move |_| false) }, + | ^^^^^^ `Rc>` does not have this field + | + = note: all struct fields are already assigned + +error[E0308]: mismatched types + --> src/v2_std_language_model.rs:44:13 + | +44 | Rc::new(Set { + | _____-------_^ + | | | + | | arguments to this function are incorrect +45 | | member: { Rc::new(move |_| false) }, +46 | | }) + | |_^ expected `OrdSet`, found `Rc>` + | + = note: expected struct `OrdSet` + found struct `Rc>` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0560]: struct `Rc>` has no field named `member` + --> src/v2_extdeps_languages_dag.rs:1219:5 + | +1219 | member: { Rc::new(move |sym| (((((sym.clone() == "dag_c3_surface_sugar_service".to_string()) || (sym... + | ^^^^^^ `Rc>` does not have this field + | + = note: all struct fields are already assigned + +error[E0560]: struct `Rc>` has no field named `member` + --> src/v2_extdeps_languages_dag.rs:1225:5 + | +1225 | member: { Rc::new(move |_| false) }, + | ^^^^^^ `Rc>` does not have this field + | + = note: all struct fields are already assigned + +error[E0560]: struct `Rc>` has no field named `member` + --> src/v2_extdeps_languages_dag.rs:1235:5 + | +1235 | member: { Rc::new(move |sym| (((dag_language_model_surface_prelude_atoms().member)(sym.clone()) || g... + | ^^^^^^ `Rc>` does not have this field + | + = note: all struct fields are already assigned + +error[E0308]: mismatched types + --> src/v2_extdeps_languages_dag.rs:3055:56 + | +3055 | dag_bodied_fn_target_model(dag_pick_family_spec(), Some(target_emit_host_runtime_row_unconfigured()).expect("fail-closed: an optional value flowed into non-optional parameter 1 of dag_bodied_fn_target_model (empty Optional at runtime)")) + | -------------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Option>`, found `Rc` + | | + | arguments to this function are incorrect + | + = note: expected enum `std::option::Option>` + found struct `Rc<_>` +note: function defined here + --> src/v2_extdeps_languages_dag.rs:2964:8 + | +2964 | ...fn dag_bodied_fn_target_model(spec: Rc, runtime_row: Option>) -... + | ^^^^^^^^^^^^^^^^^^^^^^^^^^ ------------------------------------------------- +help: try wrapping the expression in `Some` + | +3055 | dag_bodied_fn_target_model(dag_pick_family_spec(), Some(Some(target_emit_host_runtime_row_unconfigured()).expect("fail-closed: an optional value flowed into non-optional parameter 1 of dag_bodied_fn_target_model (empty Optional at runtime)"))) + | +++++ + + +error[E0308]: mismatched types + --> src/v2_extdeps_languages_dag.rs:3100:56 + | +3100 | dag_bodied_fn_target_model(dag_bind_family_spec(), Some(target_emit_host_runtime_row_unconfigured()).expect("fail-closed: an optional value flowed into non-optional parameter 1 of dag_bodied_fn_target_model (empty Optional at runtime)")) + | -------------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Option>`, found `Rc` + | | + | arguments to this function are incorrect + | + = note: expected enum `std::option::Option>` + found struct `Rc<_>` +note: function defined here + --> src/v2_extdeps_languages_dag.rs:2964:8 + | +2964 | ...fn dag_bodied_fn_target_model(spec: Rc, runtime_row: Option>) -... + | ^^^^^^^^^^^^^^^^^^^^^^^^^^ ------------------------------------------------- +help: try wrapping the expression in `Some` + | +3100 | dag_bodied_fn_target_model(dag_bind_family_spec(), Some(Some(target_emit_host_runtime_row_unconfigured()).expect("fail-closed: an optional value flowed into non-optional parameter 1 of dag_bodied_fn_target_model (empty Optional at runtime)"))) + | +++++ + + +error[E0308]: mismatched types + --> src/v2_extdeps_languages_dag.rs:3145:56 + | +3145 | dag_bodied_fn_target_model(dag_loop_family_spec(), Some(target_emit_host_runtime_row_unconfigured()).expect("fail-closed: an optional value flowed into non-optional parameter 1 of dag_bodied_fn_target_model (empty Optional at runtime)")) + | -------------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Option>`, found `Rc` + | | + | arguments to this function are incorrect + | + = note: expected enum `std::option::Option>` + found struct `Rc<_>` +note: function defined here + --> src/v2_extdeps_languages_dag.rs:2964:8 + | +2964 | ...fn dag_bodied_fn_target_model(spec: Rc, runtime_row: Option>) -... + | ^^^^^^^^^^^^^^^^^^^^^^^^^^ ------------------------------------------------- +help: try wrapping the expression in `Some` + | +3145 | dag_bodied_fn_target_model(dag_loop_family_spec(), Some(Some(target_emit_host_runtime_row_unconfigured()).expect("fail-closed: an optional value flowed into non-optional parameter 1 of dag_bodied_fn_target_model (empty Optional at runtime)"))) + | +++++ + + +error[E0308]: mismatched types + --> src/v2_lens_cost.rs:312:123 + | +312 | ...Succ { prev: Nat::Zero, .. } = value.as_ref() else { unreachable!() }; b.clone() }, + | ^^^^^^^^^ -------------- this expression has type `&v2_std_nat::Nat` + | | + | expected `Rc`, found `Nat` + | + = note: expected struct `Rc` + found enum `v2_std_nat::Nat` +help: consider dereferencing to access the inner value using the `Deref` trait + | +312 | SymbolicCost::ConstantCost { ref value, .. } if matches!(value.as_ref(), Nat::Succ { .. }) => { let Nat::Succ { prev: Nat::Zero, .. } = &*value.as_ref() else { unreachable!() }; b.clone() }, + | ++ + +error[E0308]: mismatched types + --> src/v2_lens_cost.rs:315:123 + | +315 | ...Succ { prev: Nat::Zero, .. } = value.as_ref() else { unreachable!() }; a.clone() }, + | ^^^^^^^^^ -------------- this expression has type `&v2_std_nat::Nat` + | | + | expected `Rc`, found `Nat` + | + = note: expected struct `Rc` + found enum `v2_std_nat::Nat` +help: consider dereferencing to access the inner value using the `Deref` trait + | +315 | SymbolicCost::ConstantCost { ref value, .. } if matches!(value.as_ref(), Nat::Succ { .. }) => { let Nat::Succ { prev: Nat::Zero, .. } = &*value.as_ref() else { unreachable!() }; a.clone() }, + | ++ + +error[E0308]: mismatched types + --> src/v2_compiler_parse.rs:414:27 + | +414 | witness_from_optional(v1_rt::lookup(&table.entries.clone(), key.clone()).expect("fail-closed: an optional value flowed into non-optional parameter 0 of witness_from_optional (empty Optional at runtime)"), p... + | --------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Option>`, found `Rc` + | | + | arguments to this function are incorrect + | + = note: expected enum `std::option::Option>` + found struct `Rc<_>` +note: function defined here + --> src/v2_std_witness.rs:26:8 + | + 26 | pub fn witness_from_optional(opt: Option, absent: Rc) -> Rc> { + | ^^^^^^^^^^^^^^^^^^^^^ -------------- +help: try wrapping the expression in `Some` + | +414 | witness_from_optional(Some(v1_rt::lookup(&table.entries.clone(), key.clone()).expect("fail-closed: an optional value flowed into non-optional parameter 0 of witness_from_optional (empty Optional at runtime)")), parse_table_memo_miss_diagnostic(port_locus("parse_stage_locus_port".to_string()))) + | +++++ + + +error[E0282]: type annotations needed + --> src/v2_compiler_parse.rs:532:100 + | +532 | ...cc, ch| combine_hash(acc.clone(), byte_limb_hash_peano_digest(ch.clone()))) + | ^^ -- type must be known at this point + | +help: consider giving this closure parameter an explicit type + | +532 | fold_list(lexeme.clone(), symbol_identity_digest("parse_lexeme_digest_nil".to_string()), |acc, ch: /* Type */| combine_hash(acc.clone(), byte_limb_hash_peano_digest(ch.clone()))) + | ++++++++++++ + +error[E0560]: struct `Rc>` has no field named `member` + --> src/v2_compiler_parse.rs:572:5 + | +572 | member: { Rc::new(move |_| false) }, + | ^^^^^^ `Rc>` does not have this field + | + = note: all struct fields are already assigned + +error[E0308]: mismatched types + --> src/v2_compiler_parse.rs:571:27 + | +571 | nullable_set: Rc::new(Set { + | ___________________-------_^ + | | | + | | arguments to this function are incorrect +572 | | member: { Rc::new(move |_| false) }, +573 | | }), + | |_^ expected `OrdSet`, found `Rc>` + | + = note: expected struct `OrdSet` + found struct `Rc>` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0560]: struct `Rc>` has no field named `member` + --> src/v2_compiler_parse.rs:1034:5 + | +1034 | member: { let item = item.clone(); let s = s.clone(); Rc::new(move |sym| ((sym.clone() == item.clone... + | ^^^^^^ `Rc>` does not have this field + | + = note: all struct fields are already assigned + +error[E0609]: no field `member` on type `Rc>` + --> src/v2_compiler_parse.rs:1034:115 + | +1034 | ...m| ((sym.clone() == item.clone()) || (s.member)(sym.clone()))) }, + | ^^^^^^ unknown field + +error[E0308]: mismatched types + --> src/v2_compiler_parse.rs:1033:13 + | +1033 | Rc::new(Set { + | _____-------_^ + | | | + | | arguments to this function are incorrect +1034 | | member: { let item = item.clone(); let s = s.clone(); Rc::new(move |sym| ((sym.clone() == item.clo... +1035 | | }) + | |_^ expected `OrdSet`, found `Rc>` + | + = note: expected struct `OrdSet` + found struct `Rc>` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0609]: no field `member` on type `Rc>` + --> src/v2_compiler_parse.rs:1041:95 + | +1041 | ...ne(); Rc::new(move |name| (nullable_set.member)(name.clone())) }, + | ^^^^^^ unknown field + +error[E0609]: no field `member` on type `Rc>` + --> src/v2_compiler_parse.rs:1063:60 + | +1063 | fold_list(root.productions.clone(), 0, |acc, p| if (ns.member)(p.name.clone()) { + | ^^^^^^ unknown field + +error[E0560]: struct `Rc>` has no field named `member` + --> src/v2_compiler_parse.rs:1096:5 + | +1096 | member: { Rc::new(move |_| false) }, + | ^^^^^^ `Rc>` does not have this field + | + = note: all struct fields are already assigned + +error[E0308]: mismatched types + --> src/v2_compiler_parse.rs:1095:53 + | +1095 | compute_nullable_fixpoint(root.clone(), Rc::new(Set { + | _____________________________________________-------_^ + | | | + | | arguments to this function are incorrect +1096 | | member: { Rc::new(move |_| false) }, +1097 | | }), 0, length(root.productions.clone())) + | |_^ expected `OrdSet`, found `Rc>` + | + = note: expected struct `OrdSet` + found struct `Rc>` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0282]: type annotations needed + --> src/v2_compiler_parse.rs:1117:48 + | +1117 | v1_rt::contains(xs.clone(), item.clone(), |a, b| (a.clone() == b.clone())) + | ^ - type must be known at this point + | +help: consider giving this closure parameter an explicit type + | +1117 | v1_rt::contains(xs.clone(), item.clone(), |a: /* Type */, b| (a.clone() == b.clone())) + | ++++++++++++ + +error[E0061]: this function takes 2 arguments but 3 arguments were supplied + --> src/v2_compiler_parse.rs:1117:5 + | +1117 | v1_rt::contains(xs.clone(), item.clone(), |a, b| (a.clone() == b.clone())) + | ^^^^^^^^^^^^^^^ ------------------------------- unexpected argument #3 + | +note: expected `String`, found `Rc>` + --> src/v2_compiler_parse.rs:1117:21 + | +1117 | v1_rt::contains(xs.clone(), item.clone(), |a, b| (a.clone() == b.clone())) + | ^^^^^^^^^^ + = note: expected struct `std::string::String` + found struct `Rc>` +note: function defined here + --> src/v1_rt.rs:307:8 + | + 307 | pub fn contains(s: String, sub: String) -> bool { string_contains(&s, sub) } + | ^^^^^^^^ --------- +help: remove the extra argument + | +1117 - v1_rt::contains(xs.clone(), item.clone(), |a, b| (a.clone() == b.clone())) +1117 + v1_rt::contains(/* std::string::String */, item.clone()) + | + +error[E0609]: no field `member` on type `Rc>` + --> src/v2_compiler_parse.rs:1150:29 + | +1150 | nullable: (nullable_set.member)(name.clone()), + | ^^^^^^ unknown field + +error[E0609]: no field `member` on type `Rc>` + --> src/v2_compiler_parse.rs:1353:29 + | +1353 | nullable: (nullable_set.member)(name.clone()), + | ^^^^^^ unknown field + +error[E0282]: type annotations needed + --> src/v2_compiler_parse.rs:1406:103 + | +1406 | ...s(acc.clone(), name.clone(), |a, b| (a.clone() == b.clone())) { + | ^ - type must be known at this point + | +help: consider giving this closure parameter an explicit type + | +1406 | fold_list(right.clone(), left.clone(), |acc, name| if v1_rt::contains(acc.clone(), name.clone(), |a: /* Type */, b| (a.clone() == b.clone())) { + | ++++++++++++ + +error[E0061]: this function takes 2 arguments but 3 arguments were supplied + --> src/v2_compiler_parse.rs:1406:59 + | +1406 | ..., name| if v1_rt::contains(acc.clone(), name.clone(), |a, b| (a.clone() == b.clone())) { + | ^^^^^^^^^^^^^^^ ------------------------------- unexpected argument #3 + | +note: expected `String`, found `Rc>` + --> src/v2_compiler_parse.rs:1406:75 + | +1406 | fold_list(right.clone(), left.clone(), |acc, name| if v1_rt::contains(acc.clone(), name.clone(), |a,... + | ^^^^^^^^^^^ + = note: expected struct `std::string::String` + found struct `Rc>` +note: function defined here + --> src/v1_rt.rs:307:8 + | + 307 | pub fn contains(s: String, sub: String) -> bool { string_contains(&s, sub) } + | ^^^^^^^^ --------- +help: remove the extra argument + | +1406 - fold_list(right.clone(), left.clone(), |acc, name| if v1_rt::contains(acc.clone(), name.clone(), |a, b| (a.clone() == b.clone())) { +1406 + fold_list(right.clone(), left.clone(), |acc, name| if v1_rt::contains(/* std::string::String */, name.clone()) { + | + +error[E0061]: this function takes 2 arguments but 3 arguments were supplied + --> src/v2_compiler_parse.rs:1471:35 + | +1471 | ...p| v1_rt::contains(left_corner_row(rows.clone(), p.name.clone()), p.name.clone(), |a, b| (a.clone() == b.clone()))) + | ^^^^^^^^^^^^^^^ ------------------------------- unexpected argument #3 + | +note: expected `String`, found `Rc>` + --> src/v2_compiler_parse.rs:1471:51 + | +1471 | any(root.productions.clone(), |p| v1_rt::contains(left_corner_row(rows.clone(), p.name.clone()), p.name.... + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + = note: expected struct `std::string::String` + found struct `Rc>` +note: function defined here + --> src/v1_rt.rs:307:8 + | + 307 | pub fn contains(s: String, sub: String) -> bool { string_contains(&s, sub) } + | ^^^^^^^^ --------- +help: remove the extra argument + | +1471 - any(root.productions.clone(), |p| v1_rt::contains(left_corner_row(rows.clone(), p.name.clone()), p.name.clone(), |a, b| (a.clone() == b.clone()))) +1471 + any(root.productions.clone(), |p| v1_rt::contains(/* std::string::String */, p.name.clone())) + | + +error[E0061]: this function takes 2 arguments but 3 arguments were supplied + --> src/v2_compiler_parse.rs:1626:20 + | +1626 | ...atch v1_rt::contains(sync_tokens.clone(), tok.class.clone(), |a, b| (a.clone() == b.clone())) { + | ^^^^^^^^^^^^^^^ ------------------------------- unexpected argument #3 + | +note: expected `String`, found `Rc>` + --> src/v2_compiler_parse.rs:1626:36 + | +1626 | false => match v1_rt::contains(sync_tokens.clone(), tok.class.clone(), |a, b| (a.clone() == b.clone(... + | ^^^^^^^^^^^^^^^^^^^ + = note: expected struct `std::string::String` + found struct `Rc>` +note: function defined here + --> src/v1_rt.rs:307:8 + | + 307 | pub fn contains(s: String, sub: String) -> bool { string_contains(&s, sub) } + | ^^^^^^^^ --------- +help: remove the extra argument + | +1626 - false => match v1_rt::contains(sync_tokens.clone(), tok.class.clone(), |a, b| (a.clone() == b.clone())) { +1626 + false => match v1_rt::contains(/* std::string::String */, tok.class.clone()) { + | + +error[E0560]: struct `Rc>` has no field named `lookup` + --> src/v2_extdeps_runtimes_v2_evaluator.rs:161:5 + | +161 | lookup: Rc::new(v2_eval_binding_lookup_miss), + | ^^^^^^ `Rc>` does not have this field + | + = note: all struct fields are already assigned + +error[E0308]: mismatched types + --> src/v2_extdeps_runtimes_v2_evaluator.rs:160:13 + | +160 | Rc::new(Map { + | _____-------_^ + | | | + | | arguments to this function are incorrect +161 | | lookup: Rc::new(v2_eval_binding_lookup_miss), +162 | | }) + | |_^ expected `HashMap, ...>`, found `Rc>` + | + = note: expected struct `im::HashMap, Rc>` + found struct `Rc>` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0308]: mismatched types + --> src/v2_extdeps_runtimes_v2_evaluator.rs:332:5 + | +331 | Some(child) => match child.clone() { + | ------------- this expression has type `Rc` +332 | Edge { target: arm, .. } => outcome_accepted(arm.clone()), + | ^^^^^^^^^^^^^^^^^^^^^^^^ expected `Rc`, found `Edge` + | + = note: expected struct `Rc` + found struct `Edge` +help: consider dereferencing to access the inner value using the `Deref` trait + | +331 | Some(child) => match *child.clone() { + | + + +error[E0308]: mismatched types + --> src/v2_lens_machine_shape.rs:190:5 + | +187 | match fold_node_topdown(root.clone(), Rc::new(MachineShapeWalkCtx { + | ___________- +188 | | module_qn: optional_absent(), +189 | | }), machine_shape_topdown_algebra()) { + | |____________________________________- this expression has type `Rc` +190 | MachineShapeWalkResult { findings, .. } => findings.clone(), + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Rc`, found `MachineShapeWalkResult` + | + = note: expected struct `Rc` + found struct `MachineShapeWalkResult` +help: consider dereferencing to access the inner value using the `Deref` trait + | +187 | match *fold_node_topdown(root.clone(), Rc::new(MachineShapeWalkCtx { + | + + +error[E0533]: expected value, found struct variant `ConstructionClass::WallNow` + --> src/v2_lens_mandatory_tag.rs:469:20 + | +469 | class: Rc::new(ConstructionClass::WallNow), + | ^^^^^^^^^^^^^^^^^^^^^^^^^^ not a value + | +help: you might have meant to create a new value of the struct + | +469 - class: Rc::new(ConstructionClass::WallNow), +469 + class: Rc::new(ConstructionClass::WallNow { mechanism: /* value */, authority: /* value */ }, + | + +error[E0061]: this function takes 2 arguments but 3 arguments were supplied + --> src/v2_lens_reference_deps.rs:199:8 + | +199 | if v1_rt::contains(acc.clone(), fact.clone(), reference_fact_eq) { + | ^^^^^^^^^^^^^^^ ----------------- unexpected argument #3 of type `fn(Rc, Rc) -> bool {reference_fact_eq}` + | +note: expected `String`, found `Rc>>` + --> src/v2_lens_reference_deps.rs:199:24 + | +199 | if v1_rt::contains(acc.clone(), fact.clone(), reference_fact_eq) { + | ^^^^^^^^^^^ + = note: expected struct `std::string::String` + found struct `Rc>>` +note: expected `String`, found `Rc` + --> src/v2_lens_reference_deps.rs:199:37 + | +199 | if v1_rt::contains(acc.clone(), fact.clone(), reference_fact_eq) { + | ^^^^^^^^^^^^ + = note: expected struct `std::string::String` + found struct `Rc` +note: function defined here + --> src/v1_rt.rs:307:8 + | +307 | pub fn contains(s: String, sub: String) -> bool { string_contains(&s, sub) } + | ^^^^^^^^ --------- ----------- +help: remove the extra argument + | +199 - if v1_rt::contains(acc.clone(), fact.clone(), reference_fact_eq) { +199 + if v1_rt::contains(/* std::string::String */, /* std::string::String */) { + | + +error[E0308]: `match` arms have incompatible types + --> src/v2_compiler_body_lowering_fold.rs:3176:13 + | +3174 | Some(else_raw) => match body_lower_arm_operand_resolved_optional(else_raw.clone()) { + | _______________________- +3175 | | Some(else_arm) => outcome_accepted(optional_present(lower_branch(condition.clone(), then_arm.clone(), else_arm.clone()))), + | | ------------------------------------------------------------------------------------------------------- this is found to be of type `Rc>>>` +3176 | | None => body_lower_if_navigation_reject(else_capture.clone()), + | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Rc>>>`, found `Rc>>` +3177 | | }, + | |_- `match` arms have incompatible types + | + = note: expected struct `Rc>>>` + found struct `Rc>>` + +error[E0599]: no associated function or constant named `Empty` found for struct `im::Vector` in the current scope + --> src/v2_compiler_program_assembly.rs:107:17 + | +107 | FreeMonoid::Empty => Rc::new(ProgramAssemblyFoldState::ProgramAssemblyFoldOk { + | ^^^^^ associated function or constant not found in `im::Vector<_>` + +error[E0560]: struct `Rc>` has no field named `member` + --> src/v2_compiler_resolve.rs:146:5 + | +146 | member: { Rc::new(move |_| false) }, + | ^^^^^^ `Rc>` does not have this field + | + = note: all struct fields are already assigned + +error[E0308]: mismatched types + --> src/v2_compiler_resolve.rs:145:13 + | +145 | Rc::new(Set { + | _____-------_^ + | | | + | | arguments to this function are incorrect +146 | | member: { Rc::new(move |_| false) }, +147 | | }) + | |_^ expected `OrdSet`, found `Rc>` + | + = note: expected struct `OrdSet` + found struct `Rc>` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0609]: no field `member` on type `Rc>` + --> src/v2_compiler_resolve.rs:377:42 + | +377 | (namespace.canonical_symbols.clone().member)(name.clone()) + | ^^^^^^ unknown field + +error[E0560]: struct `Rc>` has no field named `lookup` + --> src/v2_compiler_infer.rs:165:5 + | +165 | lookup: { Rc::new(move |_key| None) }, + | ^^^^^^ `Rc>` does not have this field + | + = note: all struct fields are already assigned + +error[E0308]: mismatched types + --> src/v2_compiler_infer.rs:164:20 + | +164 | facts: Rc::new(Map { + | ____________-------_^ + | | | + | | arguments to this function are incorrect +165 | | lookup: { Rc::new(move |_key| None) }, +166 | | }), + | |_^ expected `HashMap, Rc>`, found `Rc>` + | + = note: expected struct `im::HashMap, Rc>` + found struct `Rc>` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0308]: mismatched types + --> src/v2_compiler_infer.rs:378:63 + | +378 | Witness::Violates { diagnostic: upstream, .. } => Rc::new(Witness::::Violates { + | _______________________________________________________-------_^ + | | | + | | arguments to this function are incorrect +379 | | diagnostic: infer_descent_not_derived_diagnostic(upstream.at.clone()), +380 | | }), + | |_^ expected `Witness>`, found `Witness` + | + = note: expected enum `Witness>` + found enum `Witness` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0560]: struct `Rc>` has no field named `lookup` + --> src/v2_compiler_infer.rs:514:5 + | +514 | lookup: { Rc::new(move |key| lookup_inferred_facts_in_entries(admitted.clone(), key.clone())) }, + | ^^^^^^ `Rc>` does not have this field + | + = note: all struct fields are already assigned + +error[E0308]: mismatched types + --> src/v2_compiler_infer.rs:513:20 + | +513 | value: Rc::new(Map { + | ____________-------_^ + | | | + | | arguments to this function are incorrect +514 | | lookup: { Rc::new(move |key| lookup_inferred_facts_in_entries(admitted.clone(), key.clone())) }, +515 | | }), + | |_^ expected `HashMap, Rc>`, found `Rc>` + | + = note: expected struct `im::HashMap, Rc>` + found struct `Rc>` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0308]: mismatched types + --> src/v2_compiler_infer.rs:522:27 + | +522 | witness_from_optional(v1_rt::lookup(&tree.facts.clone(), node.clone()).expect("fail-closed: an optional value flowed into non-optional parameter 0 of witness_from_optional (empty Optional at runtime)"), i... + | --------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Option>`, found `Rc` + | | + | arguments to this function are incorrect + | + = note: expected enum `std::option::Option>` + found struct `Rc<_>` +note: function defined here + --> src/v2_std_witness.rs:26:8 + | + 26 | pub fn witness_from_optional(opt: Option, absent: Rc) -> Rc> { + | ^^^^^^^^^^^^^^^^^^^^^ -------------- +help: try wrapping the expression in `Some` + | +522 | witness_from_optional(Some(v1_rt::lookup(&tree.facts.clone(), node.clone()).expect("fail-closed: an optional value flowed into non-optional parameter 0 of witness_from_optional (empty Optional at runtime)")), infer_facts_lookup_miss_diagnostic(node.clone())) + | +++++ + + +error[E0308]: mismatched types + --> src/v2_compiler_name_resolve.rs:493:5 + | +488 | NodeKind::TypeNode { ref connective, .. } if matches!(connective.as_ref(), Connective::Conj) => { let Connective::Conj = connective.as_ref() else { unreachable!() }; match fold... + | _________________________________________________________________________________________________________________________________________________________________________________- +489 | | origin: origin.clone(), +490 | | state: state.clone(), +491 | | at_conj: false, +492 | | }), named_exports_topdown_algebra()) { + | |____________________________________- this expression has type `Rc` +493 | AdmitExportsFold { state: folded_state, .. } => folded_state.clone(), + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Rc`, found `AdmitExportsFold` + | + = note: expected struct `Rc` + found struct `AdmitExportsFold` +help: consider dereferencing to access the inner value using the `Deref` trait + | +488 | NodeKind::TypeNode { ref connective, .. } if matches!(connective.as_ref(), Connective::Conj) => { let Connective::Conj = connective.as_ref() else { unreachable!() }; match *fold_node_topdown(working.clone(), Rc::new(AdmitExportsFold { + | + + +error[E0369]: binary operation `==` cannot be applied to type `Rc` + --> src/v2_compiler_eval.rs:276:36 + | +276 | if (interpretation.clone() == v2_evaluator_interpretation()) { + | ---------------------- ^^ ----------------------------- Rc + | | + | Rc + | +note: an implementation of `PartialEq` might be missing for `InterpretationAlgebra` + --> src/v2_std_runtime.rs:368:1 + | +368 | pub struct InterpretationAlgebra { + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ must implement `PartialEq` +help: consider annotating `InterpretationAlgebra` with `#[derive(PartialEq)]` + --> src/v2_std_runtime.rs:368:1 + | +368 + #[derive(PartialEq)] +369 | pub struct InterpretationAlgebra { + | + +error[E0369]: binary operation `==` cannot be applied to type `Rc` + --> src/v2_compiler_eval.rs:575:123 + | +575 | ... && (authority.interpretation.clone() == v2_evaluator_interpretation())) && (authority.semantics_diges... + | -------------------------------- ^^ ----------------------------- Rc + | | + | Rc + | +note: an implementation of `PartialEq` might be missing for `InterpretationAlgebra` + --> src/v2_std_runtime.rs:368:1 + | +368 | pub struct InterpretationAlgebra { + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ must implement `PartialEq` +help: consider annotating `InterpretationAlgebra` with `#[derive(PartialEq)]` + --> src/v2_std_runtime.rs:368:1 + | +368 + #[derive(PartialEq)] +369 | pub struct InterpretationAlgebra { + | + +error[E0560]: struct `Rc>` has no field named `lookup` + --> src/v2_compiler_eval.rs:643:5 + | +643 | lookup: Rc::new(runtime_binding_lookup_miss), + | ^^^^^^ `Rc>` does not have this field + | + = note: all struct fields are already assigned + +error[E0308]: mismatched types + --> src/v2_compiler_eval.rs:642:13 + | +642 | Rc::new(Map { + | _____-------_^ + | | | + | | arguments to this function are incorrect +643 | | lookup: Rc::new(runtime_binding_lookup_miss), +644 | | }) + | |_^ expected `HashMap, ...>`, found `Rc>` + | + = note: expected struct `im::HashMap, Rc>` + found struct `Rc>` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0308]: mismatched types + --> src/v2_compiler_eval.rs:662:27 + | +662 | witness_from_optional(v1_rt::lookup(&tree.facts.clone(), node.clone()).expect("fail-closed: an optional value flowed into non-optional parameter 0 of witness_from_optional (empty Optional at runtime)"), i... + | --------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Option>`, found `Rc` + | | + | arguments to this function are incorrect + | + = note: expected enum `std::option::Option>` + found struct `Rc<_>` +note: function defined here + --> src/v2_std_witness.rs:26:8 + | + 26 | pub fn witness_from_optional(opt: Option, absent: Rc) -> Rc> { + | ^^^^^^^^^^^^^^^^^^^^^ -------------- +help: try wrapping the expression in `Some` + | +662 | witness_from_optional(Some(v1_rt::lookup(&tree.facts.clone(), node.clone()).expect("fail-closed: an optional value flowed into non-optional parameter 0 of witness_from_optional (empty Optional at runtime)")), infer_facts_lookup_miss_diagnostic(node.clone())) + | +++++ + + +error[E0308]: mismatched types + --> src/v2_compiler_eval.rs:734:56 + | +734 | Witness::Violates { diagnostic: _, .. } => Rc::new(Witness::>::Vi... + | ________________________________________________-------_^ + | | | + | | arguments to this function are incorrect +735 | | diagnostic: eval_diagnostic("eval_rejected_grounding_not_derived".to_string(), node.clone()), +736 | | }), + | |_^ expected `Witness>`, found `Witness>` + | + = note: expected enum `Witness>` + found enum `Witness>` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0308]: mismatched types + --> src/v2_compiler_eval.rs:742:17 + | +742 | Rc::new(Witness::>::Violates { + | _________-------_^ + | | | + | | arguments to this function are incorrect +743 | | diagnostic: eval_diagnostic("eval_rejected_resolved_type_mismatch".to_string(), node.clone()), +744 | | }) + | |_^ expected `Witness>`, found `Witness>` + | + = note: expected enum `Witness>` + found enum `Witness>` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0308]: mismatched types + --> src/v2_compiler_eval.rs:752:17 + | +752 | Rc::new(Witness::>::Violates { + | _________-------_^ + | | | + | | arguments to this function are incorrect +753 | | diagnostic: eval_diagnostic("eval_rejected_inhabitance_mismatch".to_string(), node.clone()), +754 | | }) + | |_^ expected `Witness>`, found `Witness>` + | + = note: expected enum `Witness>` + found enum `Witness>` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0308]: mismatched types + --> src/v2_compiler_eval.rs:761:17 + | +761 | Rc::new(Witness::>::Violates { + | _________-------_^ + | | | + | | arguments to this function are incorrect +762 | | diagnostic: eval_diagnostic("eval_rejected_canonical_mismatch".to_string(), node.clone()), +763 | | }) + | |_^ expected `Witness>`, found `Witness>` + | + = note: expected enum `Witness>` + found enum `Witness>` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0308]: mismatched types + --> src/v2_compiler_eval.rs:850:121 + | +850 | ...me(witness_from_optional(v1_rt::lookup(&environment.bindings.clone(), key.clone()).expect("fail-closed: an optional value flowed into non-optional parameter 0 of witness_from_optional (empty Optional at runtime)"), e... + | --------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Option<_>`, found `Rc` + | | + | arguments to this function are incorrect + | + = note: expected enum `std::option::Option<_>` + found struct `Rc` +note: function defined here + --> src/v2_std_witness.rs:26:8 + | + 26 | pub fn witness_from_optional(opt: Option, absent: Rc) -> Rc> { + | ^^^^^^^^^^^^^^^^^^^^^ -------------- +help: try wrapping the expression in `Some` + | +850 | bind_outcome(eval_environment_binding_key_from_node(node.clone()), |key| eval_witness_outcome(witness_from_optional(Some(v1_rt::lookup(&environment.bindings.clone(), key.clone()).expect("fail-closed: an optional value flowed into non-optional parameter 0 of witness_from_optional (empty Optional at runtime)")), eval_diagnostic("eval_rejected_runtime_binding_lookup_miss".to_string(), symbol_atom_node(key.identity.clone()))))) + | +++++ + + +error[E0308]: arguments to this function are incorrect + --> src/v2_compiler_eval.rs:1192:83 + | +1192 | ...=> eval_value_node(node.clone(), dispatch.clone(), environment.clone(), args.clone(), facts.clone(), tree.clone(), r... + | ^^^^^^^^^^^^^^^ ---------------- ------------------- ------------ ------------- ------------ expected `Rc`, found `Rc` + | | | | | + | | | | expected `Rc`, found `Rc` + | | | expected `Rc`, found `Rc>>` + | | expected `Rc`, found `Rc` + | expected `Rc>>`, found `Rc` + | +note: function defined here + --> src/v2_compiler_eval.rs:1098:8 + | +1098 | pub fn eval_value_node(node: Rc, _args: Rc>>, _facts: Rc, _tre... + | ^^^^^^^^^^^^^^^ +help: reorder these arguments + | +1192 - RuntimeBehaviorInterpreter::ValueRuntimeInterpreter { interpreter: _, .. } => eval_value_node(node.clone(), dispatch.clone(), environment.clone(), args.clone(), facts.clone(), tree.clone(), runtime.clone()), +1192 + RuntimeBehaviorInterpreter::ValueRuntimeInterpreter { interpreter: _, .. } => eval_value_node(node.clone(), args.clone(), facts.clone(), tree.clone(), dispatch.clone(), environment.clone(), runtime.clone()), + | + +error[E0308]: arguments to this function are incorrect + --> src/v2_compiler_eval.rs:1193:87 + | +1193 | ...imeInterpreter { interpreter: _, .. } => eval_transform_node(node.clone(), args.clone(), tree.clone()... + | ^^^^^^^^^^^^^^^^^^^ + | +note: function defined here + --> src/v2_compiler_eval.rs:1105:8 + | +1105 | pub fn eval_transform_node(node: Rc, args: Rc>>, _facts: Rc, t... + | ^^^^^^^^^^^^^^^^^^^ +help: reorder these arguments + | +1193 - RuntimeBehaviorInterpreter::TransformRuntimeInterpreter { interpreter: _, .. } => eval_transform_node(node.clone(), args.clone(), tree.clone(), interpretation.clone(), dispatch.clone(), environment.clone(), runtime.clone(), effect_io.clone(), facts.clone()), +1193 + RuntimeBehaviorInterpreter::TransformRuntimeInterpreter { interpreter: _, .. } => eval_transform_node(node.clone(), args.clone(), facts.clone(), tree.clone(), interpretation.clone(), dispatch.clone(), environment.clone(), runtime.clone(), effect_io.clone()), + | + +error[E0308]: arguments to this function are incorrect + --> src/v2_compiler_eval.rs:1194:84 + | +1194 | RuntimeBehaviorInterpreter::BranchRuntimeInterpreter { interpreter: _, .. } => eval_branch_node(node... + | ^^^^^^^^^^^^^^^^ + | +note: function defined here + --> src/v2_compiler_eval.rs:1147:8 + | +1147 | pub fn eval_branch_node(node: Rc, _args: Rc>>, _facts: Rc, tre... + | ^^^^^^^^^^^^^^^^ +help: reorder these arguments + | +1194 - RuntimeBehaviorInterpreter::BranchRuntimeInterpreter { interpreter: _, .. } => eval_branch_node(node.clone(), tree.clone(), interpretation.clone(), dispatch.clone(), environment.clone(), runtime.clone(), effect_io.clone(), args.clone(), facts.clone()), +1194 + RuntimeBehaviorInterpreter::BranchRuntimeInterpreter { interpreter: _, .. } => eval_branch_node(node.clone(), args.clone(), facts.clone(), tree.clone(), interpretation.clone(), dispatch.clone(), environment.clone(), runtime.clone(), effect_io.clone()), + | + +error[E0308]: arguments to this function are incorrect + --> src/v2_compiler_eval.rs:1195:82 + | +1195 | RuntimeBehaviorInterpreter::LoopRuntimeInterpreter { interpreter: _, .. } => eval_loop_node(node.clo... + | ^^^^^^^^^^^^^^ + | +note: function defined here + --> src/v2_compiler_eval.rs:1151:8 + | +1151 | pub fn eval_loop_node(node: Rc, _args: Rc>>, _facts: Rc, _tree... + | ^^^^^^^^^^^^^^ +help: did you mean + | +1195 - RuntimeBehaviorInterpreter::LoopRuntimeInterpreter { interpreter: _, .. } => eval_loop_node(node.clone(), dispatch.clone(), environment.clone(), runtime.clone(), args.clone(), facts.clone(), tree.clone()), +1195 + RuntimeBehaviorInterpreter::LoopRuntimeInterpreter { interpreter: _, .. } => eval_loop_node(node.clone(), args.clone(), facts.clone(), tree.clone(), dispatch.clone(), environment.clone(), runtime.clone()), + | + +error[E0308]: arguments to this function are incorrect + --> src/v2_compiler_eval.rs:1196:82 + | +1196 | RuntimeBehaviorInterpreter::BindRuntimeInterpreter { interpreter: _, .. } => eval_bind_node(node.clo... + | ^^^^^^^^^^^^^^ + | +note: function defined here + --> src/v2_compiler_eval.rs:1169:8 + | +1169 | pub fn eval_bind_node(node: Rc, _args: Rc>>, _facts: Rc, tree:... + | ^^^^^^^^^^^^^^ +help: reorder these arguments + | +1196 - RuntimeBehaviorInterpreter::BindRuntimeInterpreter { interpreter: _, .. } => eval_bind_node(node.clone(), tree.clone(), interpretation.clone(), dispatch.clone(), environment.clone(), runtime.clone(), effect_io.clone(), args.clone(), facts.clone()), +1196 + RuntimeBehaviorInterpreter::BindRuntimeInterpreter { interpreter: _, .. } => eval_bind_node(node.clone(), args.clone(), facts.clone(), tree.clone(), interpretation.clone(), dispatch.clone(), environment.clone(), runtime.clone(), effect_io.clone()), + | + +error[E0308]: arguments to this function are incorrect + --> src/v2_compiler_eval.rs:1197:83 + | +1197 | RuntimeBehaviorInterpreter::MatchRuntimeInterpreter { interpreter: _, .. } => eval_match_node(node.c... + | ^^^^^^^^^^^^^^^ + | +note: function defined here + --> src/v2_compiler_eval.rs:1184:8 + | +1184 | pub fn eval_match_node(node: Rc, _args: Rc>>, _facts: Rc, tree... + | ^^^^^^^^^^^^^^^ +help: reorder these arguments + | +1197 - RuntimeBehaviorInterpreter::MatchRuntimeInterpreter { interpreter: _, .. } => eval_match_node(node.clone(), tree.clone(), interpretation.clone(), dispatch.clone(), environment.clone(), runtime.clone(), effect_io.clone(), args.clone(), facts.clone()), +1197 + RuntimeBehaviorInterpreter::MatchRuntimeInterpreter { interpreter: _, .. } => eval_match_node(node.clone(), args.clone(), facts.clone(), tree.clone(), interpretation.clone(), dispatch.clone(), environment.clone(), runtime.clone(), effect_io.clone()), + | + +error[E0308]: arguments to this function are incorrect + --> src/v2_compiler_eval.rs:1444:67 + | +1444 | NodeKind::ComputationNode { behavior: Behavior::Loop, .. } => eval_loop_node(node.clone(), dispatch.... + | ^^^^^^^^^^^^^^ + | +note: function defined here + --> src/v2_compiler_eval.rs:1151:8 + | +1151 | pub fn eval_loop_node(node: Rc, _args: Rc>>, _facts: Rc, _tree... + | ^^^^^^^^^^^^^^ +help: did you mean + | +1444 - NodeKind::ComputationNode { behavior: Behavior::Loop, .. } => eval_loop_node(node.clone(), dispatch.clone(), environment.clone(), runtime.clone(), empty_runtime_values(), facts.clone(), tree.clone()), +1444 + NodeKind::ComputationNode { behavior: Behavior::Loop, .. } => eval_loop_node(node.clone(), empty_runtime_values(), facts.clone(), tree.clone(), dispatch.clone(), environment.clone(), runtime.clone()), + | + +error[E0071]: expected struct, variant or union type, found `(Rc, Rc)` + --> src/v2_compiler_translate.rs:1666:12 + | +1666 | value: TranslateFoldAcc { + | ^^^^^^^^^^^^^^^^ not a struct + +error[E0071]: expected struct, variant or union type, found `(Rc, Rc)` + --> src/v2_compiler_translate.rs:1681:12 + | +1681 | value: TranslateFoldAcc { + | ^^^^^^^^^^^^^^^^ not a struct + +error[E0609]: no field `rebuilt` on type `(Rc, Rc)` + --> src/v2_compiler_translate.rs:1696:16 + | +1696 | value: acc.rebuilt.clone(), + | ^^^^^^^ unknown field + | + = note: available fields are: `0`, `1` + +error[E0609]: no field `source` on type `(Rc, Rc)` + --> src/v2_compiler_translate.rs:1925:185 + | +1925 | ...ved_child_gate(tree.clone(), parent_acc.source.clone(), child_acc.source.clone()), |_| Rc::new(Outcom... + | ^^^^^^ unknown field + | + = note: available fields are: `0`, `1` + +error[E0609]: no field `source` on type `(Rc, Rc)` + --> src/v2_compiler_translate.rs:1925:211 + | +1925 | ...), parent_acc.source.clone(), child_acc.source.clone()), |_| Rc::new(Outcome::Accepted { + | ^^^^^^ unknown field + | + = note: available fields are: `0`, `1` + +error[E0071]: expected struct, variant or union type, found `(Rc, Rc)` + --> src/v2_compiler_translate.rs:1926:12 + | +1926 | value: TranslateFoldAcc { + | ^^^^^^^^^^^^^^^^ not a struct + +error[E0609]: no field `source` on type `(Rc, Rc)` + --> src/v2_compiler_translate.rs:1927:24 + | +1927 | source: parent_acc.source.clone(), + | ^^^^^^ unknown field + | + = note: available fields are: `0`, `1` + +error[E0609]: no field `rebuilt` on type `(Rc, Rc)` + --> src/v2_compiler_translate.rs:1928:38 + | +1928 | rebuilt: node_rebuild(parent_acc.rebuilt.clone(), list_snoc_item(parent_acc.rebuilt.clone().children... + | ^^^^^^^ unknown field + | + = note: available fields are: `0`, `1` + +error[E0609]: no field `rebuilt` on type `(Rc, Rc)` + --> src/v2_compiler_translate.rs:1928:81 + | +1928 | rebuilt: node_rebuild(parent_acc.rebuilt.clone(), list_snoc_item(parent_acc.rebuilt.clone().children... + | ^^^^^^^ unknown field + | + = note: available fields are: `0`, `1` + +error[E0609]: no field `rebuilt` on type `(Rc, Rc)` + --> src/v2_compiler_translate.rs:1930:23 + | +1930 | target: child_acc.rebuilt.clone(), + | ^^^^^^^ unknown field + | + = note: available fields are: `0`, `1` + +error[E0308]: mismatched types + --> src/v2_compiler_source_authority.rs:698:97 + | +698 | ... .. } => outcome_rejected(source_ref_read_failed_diagnostic(ref_.clone(), error.clone())), + | ---------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Rc`, found `Rc` + | | + | arguments to this function are incorrect + | + = note: expected struct `Rc` + found struct `Rc` +note: function defined here + --> src/v2_std_diagnostic.rs:179:8 + | +179 | pub fn outcome_rejected(d: Rc) -> Rc> { + | ^^^^^^^^^^^^^^^^ ----------------- + +error[E0308]: mismatched types + --> src/v2_compiler_source_authority.rs:699:95 + | +699 | ...=> outcome_rejected(source_ref_content_hash_mismatch_diagnostic(ref_.clone(), observed.clone())), + | ---------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Rc`, found `Rc` + | | + | arguments to this function are incorrect + | + = note: expected struct `Rc` + found struct `Rc` +note: function defined here + --> src/v2_std_diagnostic.rs:179:8 + | +179 | pub fn outcome_rejected(d: Rc) -> Rc> { + | ^^^^^^^^^^^^^^^^ ----------------- + +error[E0308]: mismatched types + --> src/v2_compiler_source_authority.rs:732:13 + | +732 | result: failed.clone(), + | ^^^^^^^^^^^^^^ expected `Rc`, found `SourceRefReadResult` + | + = note: expected struct `Rc` + found enum `SourceRefReadResult` +help: call `Into::into` on this expression to convert `SourceRefReadResult` into `Rc` + | +732 | result: failed.clone().into(), + | +++++++ + +error[E0308]: mismatched types + --> src/v2_compiler_source_authority.rs:751:50 + | +751 | ...=> outcome_rejected(source_ref_read_failed_diagnostic(source_ref_for_storage_path("source-root-ingest-build-impossible".to_string()), "internal: read-through accepted without ingest row".to_string())), + | ---------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Rc`, found `Rc` + | | + | arguments to this function are incorrect + | + = note: expected struct `Rc` + found struct `Rc` +note: function defined here + --> src/v2_std_diagnostic.rs:179:8 + | +179 | pub fn outcome_rejected(d: Rc) -> Rc> { + | ^^^^^^^^^^^^^^^^ ----------------- + +error[E0308]: arguments to this function are incorrect + --> src/v2_compiler_source_authority.rs:1331:8 + | +1331 | if source_authority_node_equal(original.tree.clone(), reparsed.tree.clone()) { + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ + | +note: expected `Rc`, found `Rc` + --> src/v2_compiler_source_authority.rs:1331:36 + | +1331 | if source_authority_node_equal(original.tree.clone(), reparsed.tree.clone()) { + | ^^^^^^^^^^^^^^^^^^^^^ + = note: expected struct `Rc` + found struct `Rc` +note: expected `Rc`, found `Rc` + --> src/v2_compiler_source_authority.rs:1331:59 + | +1331 | if source_authority_node_equal(original.tree.clone(), reparsed.tree.clone()) { + | ^^^^^^^^^^^^^^^^^^^^^ + = note: expected struct `Rc` + found struct `Rc` +note: function defined here + --> src/v2_compiler_source_authority.rs:1311:8 + | +1311 | pub fn source_authority_node_equal(left: Rc, right: Rc) -> bool { + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ -------------- --------------- + +error[E0277]: `(dyn Fn(Rc) -> Rc>>>> + 'static)` doesn't implement `Debug` + --> src/v2_compiler_compile.rs:93:5 + | +91 | #[derive(Debug, Clone, PartialEq, serde::Serialize, serde::Deserialize)] + | ----- in this derive macro expansion +92 | pub struct CompileLens { +93 | pub gate: CompileLensGate, + | ^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound + | + = help: the trait `Debug` is not implemented for `(dyn Fn(Rc) -> Rc>>>> + 'static)` + +error[E0369]: binary operation `==` cannot be applied to type `Rc) -> Rc>>>>>` + --> src/v2_compiler_compile.rs:93:5 + | +91 | #[derive(Debug, Clone, PartialEq, serde::Serialize, serde::Deserialize)] + | --------- in this derive macro expansion +92 | pub struct CompileLens { +93 | pub gate: CompileLensGate, + | ^^^^^^^^^^^^^^^^^^^^^^^^^ + +error[E0277]: the trait bound `dyn Fn(Rc) -> Rc>>>>: serde::Serialize` is not satisfied + --> src/v2_compiler_compile.rs:91:35 + | + 91 | #[derive(Debug, Clone, PartialEq, serde::Serialize, serde::Deserialize)] + | ^^^^^^^^^^^^^^^^ the trait `Serialize` is not implemented for `dyn Fn(Rc) -> Rc>>>>` + 92 | pub struct CompileLens { + 93 | pub gate: CompileLensGate, + | --- required by a bound introduced by this call + | + = note: for local types consider adding `#[derive(serde::Serialize)]` to your `dyn Fn(Rc) -> Rc>>>>` type + = note: for types from other crates check whether the crate offers a `serde` feature flag + = note: required for `Rc) -> Rc>>>>>` to implement `Serialize` +note: required by a bound in `std_constructors::_::_serde::ser::SerializeStruct::serialize_field` + --> /root/workspace/.home/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/serde_core-1.0.229/src/ser/mod.rs:1917:21 + | +1915 | fn serialize_field(&mut self, key: &'static str, value: &T) -> Result<(), Self::Error> + | --------------- required by a bound in this associated function +1916 | where +1917 | T: ?Sized + Serialize; + | ^^^^^^^^^ required by this bound in `SerializeStruct::serialize_field` + = note: this error originates in the derive macro `serde::Serialize` (in Nightly builds, run with -Z macro-backtrace for more info) + +error[E0277]: the trait bound `(dyn Fn(Rc) -> Rc>>>> + 'static): serde::Deserialize<'de>` is not satisfied + --> src/v2_compiler_compile.rs:93:15 + | + 93 | pub gate: CompileLensGate, + | ^^^^^^^^^^^^^^^ unsatisfied trait bound + | + = help: the trait `Deserialize<'_>` is not implemented for `(dyn Fn(Rc) -> Rc>>>> + 'static)` + = note: for local types consider adding `#[derive(serde::Deserialize)]` to your `(dyn Fn(Rc) -> Rc>>>> + 'static)` type + = note: for types from other crates check whether the crate offers a `serde` feature flag + = note: required for `Box) -> Rc>>>` to implement `Deserialize<'_>` + = note: 1 redundant requirement hidden + = note: required for `Rc) -> Rc>>>` to implement `Deserialize<'_>` +note: required by a bound in `next_element` + --> /root/workspace/.home/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/serde_core-1.0.229/src/de/mod.rs:1771:12 + | +1769 | fn next_element(&mut self) -> Result, Self::Error> + | ------------ required by a bound in this associated function +1770 | where +1771 | T: Deserialize<'de>, + | ^^^^^^^^^^^^^^^^ required by this bound in `SeqAccess::next_element` + = note: the full name for the type has been written to '/tmp/cssl-probe.NxqLgL/target/release/deps/v1_compiled-c7a8a2d93557c438.long-type-4643442706362609095.txt' + = note: consider using `--verbose` to print the full type name to the console + +error[E0277]: the trait bound `(dyn Fn(Rc) -> Rc>>>> + 'static): serde::Deserialize<'de>` is not satisfied + --> src/v2_compiler_compile.rs:93:15 + | + 93 | pub gate: CompileLensGate, + | ^^^^^^^^^^^^^^^ unsatisfied trait bound + | + = help: the trait `Deserialize<'_>` is not implemented for `(dyn Fn(Rc) -> Rc>>>> + 'static)` + = note: for local types consider adding `#[derive(serde::Deserialize)]` to your `(dyn Fn(Rc) -> Rc>>>> + 'static)` type + = note: for types from other crates check whether the crate offers a `serde` feature flag + = note: required for `Box) -> Rc>>>` to implement `Deserialize<'_>` + = note: 1 redundant requirement hidden + = note: required for `Rc) -> Rc>>>` to implement `Deserialize<'_>` +note: required by a bound in `next_value` + --> /root/workspace/.home/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/serde_core-1.0.229/src/de/mod.rs:1916:12 + | +1914 | fn next_value(&mut self) -> Result + | ---------- required by a bound in this associated function +1915 | where +1916 | V: Deserialize<'de>, + | ^^^^^^^^^^^^^^^^ required by this bound in `MapAccess::next_value` + = note: the full name for the type has been written to '/tmp/cssl-probe.NxqLgL/target/release/deps/v1_compiled-c7a8a2d93557c438.long-type-4643442706362609095.txt' + = note: consider using `--verbose` to print the full type name to the console + +error[E0277]: the trait bound `dyn Fn(Rc) -> Rc>>>>: serde::Deserialize<'de>` is not satisfied + --> src/v2_compiler_compile.rs:91:53 + | +91 | #[derive(Debug, Clone, PartialEq, serde::Serialize, serde::Deserialize)] + | ^^^^^^^^^^^^^^^^^^ unsatisfied trait bound + | + = help: the trait `Deserialize<'_>` is not implemented for `dyn Fn(Rc) -> Rc>>>>` + = note: for local types consider adding `#[derive(serde::Deserialize)]` to your `dyn Fn(Rc) -> Rc>>>>` type + = note: for types from other crates check whether the crate offers a `serde` feature flag + = note: required for `Box) -> Rc>>>>>` to implement `Deserialize<'_>` + = note: 1 redundant requirement hidden + = note: required for `Rc) -> Rc>>>>>` to implement `Deserialize<'_>` +note: required by a bound in `std_constructors::_::_serde::__private229::de::missing_field` + --> /root/workspace/.home/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/serde-1.0.229/src/private/de.rs:26:8 + | +24 | pub fn missing_field<'de, V, E>(field: &'static str) -> Result + | ------------- required by a bound in this function +25 | where +26 | V: Deserialize<'de>, + | ^^^^^^^^^^^^^^^^ required by this bound in `missing_field` + = note: this error originates in the derive macro `serde::Deserialize` (in Nightly builds, run with -Z macro-backtrace for more info) + +error[E0308]: mismatched types + --> src/v2_compiler_compile.rs:283:82 + | +283 | Outcome::Rejected { diagnostics: d, .. } => outcome_with_diagnostics(Rc::new(Witness::>`, found `Witness>>>>` + | + = note: expected enum `Witness>` + found enum `Witness>>>>>` +note: associated function defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/alloc/src/rc.rs:419:11 + +error[E0614]: type `std::option::Option` cannot be dereferenced + --> src/v2_compiler_ingest.rs:51:11 + | +51 | match (*v1_rt::map_get(&binding_to_class, atom_identity.clone())).clone() { + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't be dereferenced + +error[E0004]: non-exhaustive patterns: `&Some(_)` not covered + --> src/v2_std_integer.rs:718:84 + | +718 | Outcome::Accepted { value: decoded_container, ref diagnostics, .. } => { match diagnostics.as_ref() { + | ^^^^^^^^^^^^^^^^^^^^ pattern `&Some(_)` not covered + | +note: `std::option::Option>` defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:597:0 + ::: /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:605:4 + | + = note: not covered + = note: the matched value is of type `&std::option::Option>` +help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown + | +724 ~ }, +725 ~ &Some(_) => todo!(), + | + +error[E0004]: non-exhaustive patterns: `&Some(_)` not covered + --> src/v2_std_integer.rs:720:84 + | +720 | Outcome::Accepted { value: decoded_contained, ref diagnostics, .. } => { match diagnostics.as_ref() { + | ^^^^^^^^^^^^^^^^^^^^ pattern `&Some(_)` not covered + | +note: `std::option::Option>` defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:597:0 + ::: /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:605:4 + | + = note: not covered + = note: the matched value is of type `&std::option::Option>` +help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown + | +721 ~ None => integer_interval_spec_contains_decoded_node(integer_standard_integer_type_interval_spec(decoded_container.clone()), decoded_contained.clone()), +722 ~ &Some(_) => todo!(), + | + +error[E0004]: non-exhaustive patterns: `&Some(_)` not covered + --> src/v2_std_integer_value_set.rs:106:77 + | +106 | Outcome::Accepted { value: found_kind, ref diagnostics, .. } => { match diagnostics.as_ref() { + | ^^^^^^^^^^^^^^^^^^^^ pattern `&Some(_)` not covered + | +note: `std::option::Option>` defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:597:0 + ::: /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:605:4 + | + = note: not covered + = note: the matched value is of type `&std::option::Option>` +help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown + | +157 ~ }, +158 ~ &Some(_) => todo!(), + | + +error[E0004]: non-exhaustive patterns: `&Some(_)` not covered + --> src/v2_std_integer_value_set.rs:110:58 + | +110 | Outcome::Accepted { ref diagnostics, .. } => { match diagnostics.as_ref() { + | ^^^^^^^^^^^^^^^^^^^^ pattern `&Some(_)` not covered + | +note: `std::option::Option>` defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:597:0 + ::: /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:605:4 + | + = note: not covered + = note: the matched value is of type `&std::option::Option>` +help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown + | +113 ~ }), +114 ~ &Some(_) => todo!(), + | + +error[E0004]: non-exhaustive patterns: `&Some(_)` not covered + --> src/v2_std_integer_value_set.rs:129:75 + | +129 | Outcome::Accepted { value: interval, ref diagnostics, .. } => { match diagnostics.as_ref() { + | ^^^^^^^^^^^^^^^^^^^^ pattern `&Some(_)` not covered + | +note: `std::option::Option>` defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:597:0 + ::: /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:605:4 + | + = note: not covered + = note: the matched value is of type `&std::option::Option>` +help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown + | +141 ~ }, +142 ~ &Some(_) => todo!(), + | + +error[E0004]: non-exhaustive patterns: `&Some(_)` not covered + --> src/v2_std_integer_value_set.rs:178:84 + | +178 | Outcome::Accepted { value: decoded_container, ref diagnostics, .. } => { match diagnostics.as_ref() { + | ^^^^^^^^^^^^^^^^^^^^ pattern `&Some(_)` not covered + | +note: `std::option::Option>` defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:597:0 + ::: /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:605:4 + | + = note: not covered + = note: the matched value is of type `&std::option::Option>` +help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown + | +184 ~ }, +185 ~ &Some(_) => todo!(), + | + +error[E0004]: non-exhaustive patterns: `&Some(_)` not covered + --> src/v2_std_integer_value_set.rs:180:84 + | +180 | Outcome::Accepted { value: decoded_contained, ref diagnostics, .. } => { match diagnostics.as_ref() { + | ^^^^^^^^^^^^^^^^^^^^ pattern `&Some(_)` not covered + | +note: `std::option::Option>` defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:597:0 + ::: /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:605:4 + | + = note: not covered + = note: the matched value is of type `&std::option::Option>` +help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown + | +181 ~ None => integer_value_set_contains_decoded(decoded_container.clone(), decoded_contained.clone()), +182 ~ &Some(_) => todo!(), + | + +error[E0004]: non-exhaustive patterns: `&Some(_)` not covered + --> src/v2_std_refinement_widening_predicate.rs:78:83 + | +78 | Outcome::Accepted { value: source_value_set, ref diagnostics, .. } => { match diagnostics.as_ref() { + | ^^^^^^^^^^^^^^^^^^^^ pattern `&Some(_)` not covered + | +note: `std::option::Option>` defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:597:0 + ::: /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:605:4 + | + = note: not covered + = note: the matched value is of type `&std::option::Option>` +help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown + | +84 ~ }, +85 ~ &Some(_) => todo!(), + | + +error[E0004]: non-exhaustive patterns: `&Some(_)` not covered + --> src/v2_std_refinement_widening_predicate.rs:80:86 + | +80 | Outcome::Accepted { value: candidate_value_set, ref diagnostics, .. } => { match diagnostics.as_ref() { + | ^^^^^^^^^^^^^^^^^^^^ pattern `&Some(_)` not covered + | +note: `std::option::Option>` defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:597:0 + ::: /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:605:4 + | + = note: not covered + = note: the matched value is of type `&std::option::Option>` +help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown + | +81 ~ None => integer_value_set_strictly_contains(candidate_value_set.clone(), source_value_set.clone()), +82 ~ &Some(_) => todo!(), + | + +error[E0004]: non-exhaustive patterns: `&Some(_)` not covered + --> src/v2_std_refinement_widening_predicate.rs:92:83 + | +92 | Outcome::Accepted { value: source_value_set, ref diagnostics, .. } => { match diagnostics.as_ref() { + | ^^^^^^^^^^^^^^^^^^^^ pattern `&Some(_)` not covered + | +note: `std::option::Option>` defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:597:0 + ::: /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:605:4 + | + = note: not covered + = note: the matched value is of type `&std::option::Option>` +help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown + | +98 ~ }, +99 ~ &Some(_) => todo!(), + | + +error[E0004]: non-exhaustive patterns: `&Some(_)` not covered + --> src/v2_std_refinement_widening_predicate.rs:94:86 + | +94 | Outcome::Accepted { value: candidate_value_set, ref diagnostics, .. } => { match diagnostics.as_ref() { + | ^^^^^^^^^^^^^^^^^^^^ pattern `&Some(_)` not covered + | +note: `std::option::Option>` defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:597:0 + ::: /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:605:4 + | + = note: not covered + = note: the matched value is of type `&std::option::Option>` +help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown + | +95 ~ None => integer_value_set_strictly_contains(source_value_set.clone(), candidate_value_set.clone()), +96 ~ &Some(_) => todo!(), + | + +error[E0004]: non-exhaustive patterns: `&Some(_)` not covered + --> src/v2_std_refinement_widening_predicate.rs:106:81 + | +106 | Outcome::Accepted { value: bundled_source, ref diagnostics, .. } => { match diagnostics.as_ref() { + | ^^^^^^^^^^^^^^^^^^^^ pattern `&Some(_)` not covered + | +note: `std::option::Option>` defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:597:0 + ::: /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:605:4 + | + = note: not covered + = note: the matched value is of type `&std::option::Option>` +help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown + | +117 ~ }, +118 ~ &Some(_) => todo!(), + | + +error[E0004]: non-exhaustive patterns: `&Some(_)` not covered + --> src/v2_std_refinement_widening_predicate.rs:108:84 + | +108 | Outcome::Accepted { value: bundled_candidate, ref diagnostics, .. } => { match diagnostics.as_ref() { + | ^^^^^^^^^^^^^^^^^^^^ pattern `&Some(_)` not covered + | +note: `std::option::Option>` defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:597:0 + ::: /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:605:4 + | + = note: not covered + = note: the matched value is of type `&std::option::Option>` +help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown + | +114 ~ }, +115 ~ &Some(_) => todo!(), + | + +error[E0004]: non-exhaustive patterns: `&Some(_)` not covered + --> src/v2_std_refinement_widening_predicate.rs:110:87 + | +110 | Outcome::Accepted { value: bundled_source_facts, ref diagnostics, .. } => { match diagnostics.as_ref() { + | ^^^^^^^^^^^^^^^^^^^^ pattern `&Some(_)` not covered + | +note: `std::option::Option>` defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:597:0 + ::: /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:605:4 + | + = note: not covered + = note: the matched value is of type `&std::option::Option>` +help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown + | +111 ~ None => (((((bundled_source.clone() == source_facts.clone()) && (bundled_candidate.clone() == candidate.clone())) && (bundled_source_facts.clone() == source_facts.clone())) && (source_facts.clone() != candidate.clone())) && refinement_widening_value_sets_hold(algebra.clone())), +112 ~ &Some(_) => todo!(), + | + +error[E0004]: non-exhaustive patterns: `Outcome::Accepted { value: TargetTypeExprArrowWireShape::TargetTypeExprArrowPositionalWire, .. }` and `Outcome::Accepted { value: TargetTypeExprArrowWireShape::TargetTypeExprArrowLabeledWire, .. }` not covered + --> src/v2_std_compilers_target_model.rs:5546:54 + | +5546 | ...prArrow => match (*target_type_expr_arrow_wire_shape(node.clone())).clone() { + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ patterns `Outcome::Accepted { value: TargetTypeExprArrowWireShape::TargetTypeExprArrowPositionalWire, .. }` and `Outcome::Accepted { value: TargetTypeExprArrowWireShape::TargetTypeExprArrowLabeledWire, .. }` not covered + | +note: `Outcome` defined here + --> src/v2_std_diagnostic.rs:104:10 + | + 104 | pub enum Outcome { + | ^^^^^^^ + 105 | Accepted { + | -------- not covered + = note: the matched value is of type `Outcome` + = note: match arms with guards don't count towards exhaustivity +help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern, a match arm with multiple or-patterns as shown, or multiple match arms + | +5554 ~ }), +5555 ~ Outcome::Accepted { value: TargetTypeExprArrowWireShape::TargetTypeExprArrowPositionalWire, .. } | Outcome::Accepted { value: TargetTypeExprArrowWireShape::TargetTypeExprArrowLabeledWire, .. } => todo!(), + | + +error[E0004]: non-exhaustive patterns: `Outcome::Accepted { value: TargetTypeExprArrowWireShape::TargetTypeExprArrowPositionalWire, .. }` and `Outcome::Accepted { value: TargetTypeExprArrowWireShape::TargetTypeExprArrowLabeledWire, .. }` not covered + --> src/v2_std_compilers_target_model.rs:5629:54 + | +5629 | ...prArrow => match (*target_type_expr_arrow_wire_shape(node.clone())).clone() { + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ patterns `Outcome::Accepted { value: TargetTypeExprArrowWireShape::TargetTypeExprArrowPositionalWire, .. }` and `Outcome::Accepted { value: TargetTypeExprArrowWireShape::TargetTypeExprArrowLabeledWire, .. }` not covered + | +note: `Outcome` defined here + --> src/v2_std_diagnostic.rs:104:10 + | + 104 | pub enum Outcome { + | ^^^^^^^ + 105 | Accepted { + | -------- not covered + = note: the matched value is of type `Outcome` + = note: match arms with guards don't count towards exhaustivity +help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern, a match arm with multiple or-patterns as shown, or multiple match arms + | +5634 ~ }), +5635 ~ Outcome::Accepted { value: TargetTypeExprArrowWireShape::TargetTypeExprArrowPositionalWire, .. } | Outcome::Accepted { value: TargetTypeExprArrowWireShape::TargetTypeExprArrowLabeledWire, .. } => todo!(), + | + +error[E0004]: non-exhaustive patterns: `Edge { .. }` not covered + --> src/v2_std_compilers_target_model.rs:7785:19 + | +7785 | None => match (*edge.clone()).clone() { + | ^^^^^^^^^^^^^^^^^^^^^^^ pattern `Edge { .. }` not covered + | +note: `Edge` defined here + --> src/v2_std_node.rs:247:12 + | + 247 | pub struct Edge { + | ^^^^ + = note: the matched value is of type `Edge` + = note: match arms with guards don't count towards exhaustivity +help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown + | +7791 ~ Edge { ref label, .. } if matches!(label.as_ref(), EdgeLabel::Positional) => { let EdgeLabel::Positional = label.as_ref() else { unreachable!() }; optional_absent() }, +7792 ~ Edge { .. } => todo!(), + | + +error[E0004]: non-exhaustive patterns: `&RebuildEmittedResult::RebuildEmittedFail` not covered + --> src/v2_std_grammar.rs:1818:49 + | +1818 | Witness::Holds { ref value, .. } => { match value.as_ref() { + | ^^^^^^^^^^^^^^ pattern `&RebuildEmittedResult::RebuildEmittedFail` not covered + | +note: `RebuildEmittedResult` defined here + --> src/v2_std_grammar.rs:1656:10 + | +1656 | pub enum RebuildEmittedResult { + | ^^^^^^^^^^^^^^^^^^^^ +... +1661 | RebuildEmittedFail, + | ------------------ not covered + = note: the matched value is of type `&RebuildEmittedResult` +help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown + | +1826 ~ }, +1827 ~ &RebuildEmittedResult::RebuildEmittedFail => todo!(), + | + +error[E0004]: non-exhaustive patterns: `Outcome::Accepted { .. }` not covered + --> src/v2_std_host_run.rs:58:11 + | + 58 | match (*exit.outcome.clone()).clone() { + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ pattern `Outcome::Accepted { .. }` not covered + | +note: `Outcome>>` defined here + --> src/v2_std_diagnostic.rs:104:10 + | +104 | pub enum Outcome { + | ^^^^^^^ +105 | Accepted { + | -------- not covered + = note: the matched value is of type `Outcome>>` + = note: match arms with guards don't count towards exhaustivity +help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown + | + 72 ~ }), + 73 ~ Outcome::Accepted { .. } => todo!(), + | + +error[E0004]: non-exhaustive patterns: `Edge { .. }` not covered + --> src/v2_extdeps_languages_dag.rs:1896:11 + | +1896 | match (*edge.clone()).clone() { + | ^^^^^^^^^^^^^^^^^^^^^^^ pattern `Edge { .. }` not covered + | +note: `Edge` defined here + --> src/v2_std_node.rs:247:12 + | + 247 | pub struct Edge { + | ^^^^ + = note: the matched value is of type `Edge` + = note: match arms with guards don't count towards exhaustivity +help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown + | +1902 ~ Edge { ref label, .. } if matches!(label.as_ref(), EdgeLabel::Positional) => { let EdgeLabel::Positional = label.as_ref() else { unreachable!() }; optional_absent() }, +1903 ~ Edge { .. } => todo!(), + | + +error[E0310]: the parameter type `Subj` may not live long enough + --> src/v2_std_verdict.rs:123:9 + | +123 | op: Rc::new(verdict_combine), + | ^^^^^^^^^^^^^^^^^^^^^^^^ + | | + | the parameter type `Subj` must be valid for the static lifetime... + | ...so that the type `Subj` will meet its required lifetime bounds + | +help: consider adding an explicit lifetime bound + | +121 | pub fn verdict_monoid() -> Rc>>> { + | +++++++++ + +error[E0310]: the parameter type `T` may not live long enough + --> src/v2_std_verdict.rs:123:9 + | +123 | op: Rc::new(verdict_combine), + | ^^^^^^^^^^^^^^^^^^^^^^^^ + | | + | the parameter type `T` must be valid for the static lifetime... + | ...so that the type `T` will meet its required lifetime bounds + | +help: consider adding an explicit lifetime bound + | +121 | pub fn verdict_monoid() -> Rc>>> { + | +++++++++ + +error[E0004]: non-exhaustive patterns: `&Some(_)` not covered + --> src/v2_compiler_eval.rs:1039:68 + | +1039 | Outcome::Accepted { value: v, ref diagnostics, .. } => { match diagnostics.as_ref() { + | ^^^^^^^^^^^^^^^^^^^^ pattern `&Some(_)` not covered + | +note: `std::option::Option>` defined here + --> /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:597:0 + ::: /rustc/8bab26f4f68e0e26f0bb7960be334d5b520ea452/library/core/src/option.rs:605:4 + | + = note: not covered + = note: the matched value is of type `&std::option::Option>` +help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown + | +1046 ~ }), +1047 ~ &Some(_) => todo!(), + | + +Some errors have detailed explanations: E0004, E0061, E0071, E0223, E0277, E0282, E0308, E0310, E0369... +For more information about an error, try `rustc --explain E0004`. +error: could not compile `v1_compiled` (lib) due to 330 previous errors +warning: build failed, waiting for other jobs to finish... diff --git a/docs/probes/board_907f19c2cc7/README.md b/docs/probes/board_907f19c2cc7/README.md new file mode 100644 index 00000000000..23ba633ea4c --- /dev/null +++ b/docs/probes/board_907f19c2cc7/README.md @@ -0,0 +1,67 @@ +// Retained emission board for src/v2/compiler/03_ingest.dag at the first main SHA whose +// required floor reports failed=0. The log is kept so classification is offline analysis over +// a fixed artifact rather than a rebuild per iteration; the counts below are derived from the +// log in this directory and from nothing else. + +# 03_ingest emission board — `907f19c2cc7` + +## Subject and provenance + +| field | value | +|---|---| +| subject SHA | `907f19c2cc7cf31d2525236c93d3c92332182cde` | +| floor at that SHA | run `32633501354` — `planned=10672 executed=10672 terminal=10672 failed=0` | +| instrument | `docs/probes/curated_cargo_probe_one.sh src/v2/compiler/03_ingest.dag ""`, `CSSL_STD_SEED_LINK=1` | +| producer | `curated_cargo_probe_one+emit+seedlink+cargo` | +| compiler binary | built from this SHA in the same dispatch (`PROV_BIN_BEFORE=0` — no cached binary) | +| retained log | `03_ingest.cargo.log`, 234163 bytes, sha256 `b39d6f428920eccb8629cc731a35c6c1555eb548b20e0d13edc65c66ab8d40fb` | +| transport of the log | gzip+base64 over the dispatch's stdout; decoded sha256 verified equal to the sha computed on the runner before transport | + +## Board + +``` +177 files emitted, 503 diagnostics, cargo refuse +``` + +Coded rustc errors, by direct grep of the retained log (`^error\[E[0-9]+\]`): **316** + +| code | n | code | n | code | n | +|---|---|---|---|---|---| +| E0308 | 128 | E0560 | 17 | E0282 | 6 | +| E0425 | 24 | E0061 | 17 | E0071 | 3 | +| E0599 | 23 | E0631 | 9 | E0728 | 2 | +| E0277 | 23 | E0433 | 8 | E0310 | 2 | +| E0004 | 21 | E0369 | 7 | E0533 | 1 | +| E0609 | 18 | E0614 | 6 | E0223 | 1 | + +Uncoded: `unsupported_mock_expression` 13, `UNRESOLVED_CompilerError` 1. Probe histogram columns: 330 / 331. + +## Why the four counts differ, and which one to quote + +`503 diagnostics` is the emitter's own count and includes warnings and notes. `316` is coded +rustc errors by direct grep and is the number to quote for the board. `330`/`331` are the probe's +histogram sums, which fold the uncoded rows in and differ from each other by one. They answer +different questions; quoting one where another was measured is the unit error this corpus keeps +paying for. + +## Stability against the previously certified board + +The certified board at `98b18cdc` reported the same 316 and the same per-code histogram, +position for position. That identity is real rather than an artifact, and the discriminators are: + +- `PROV_BIN_BEFORE=0` on this run — the compiler was rebuilt from this tree, not reused; +- the row carries this SHA, not the prior one; +- the log bytes differ across all three runs taken today — 234165 / 234279 / 234163, with three + distinct sha256 — while the error population is identical. A run that did not execute cannot + produce a byte-different log with the same population. + +The night's merges between those SHAs were witness, fleet, roster and prose changes; none touched +the emitter, so an unchanged emission of `03_ingest` is the expected result and is now measured +rather than assumed. + +## What this artifact is for + +Classification transfers onto **this** log. Prior classifications carry forward only where the +load-bearing identity still joins — emitted module, enclosing declaration, callee or field +identity, error code or a declared successor code, normalized expected/found. Generated line and +column are evidence, not identity. A historical row absent from this log gets no further analysis.