[INFO] cloning repository https://github.com/Kixiron/nectarine
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Kixiron/nectarine" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FKixiron%2Fnectarine", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FKixiron%2Fnectarine'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 8ad86fb4ad681a9cd2c1fa99da62732790261b9d
[INFO] checking Kixiron/nectarine against try#a7a572ce3edd6d476191fbfe92c9c1986e009b34 for pr-87190-3
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FKixiron%2Fnectarine" "/workspace/builds/worker-83/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-83/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/Kixiron/nectarine on toolchain a7a572ce3edd6d476191fbfe92c9c1986e009b34
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+a7a572ce3edd6d476191fbfe92c9c1986e009b34" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] removed /workspace/builds/worker-83/source/rust-toolchain
[INFO] started tweaking git repo https://github.com/Kixiron/nectarine
[INFO] finished tweaking git repo https://github.com/Kixiron/nectarine
[INFO] tweaked toml for git repo https://github.com/Kixiron/nectarine written to /workspace/builds/worker-83/source/Cargo.toml
[INFO] crate git repo https://github.com/Kixiron/nectarine already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+a7a572ce3edd6d476191fbfe92c9c1986e009b34" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded inventory-impl v0.1.9
[INFO] [stderr]   Downloaded string_cache v0.8.0
[INFO] [stderr]   Downloaded lalrpop-util v0.19.1
[INFO] [stderr]   Downloaded ordered-float v2.0.0
[INFO] [stderr]   Downloaded lalrpop v0.19.1
[INFO] [stderr]   Downloaded typetag-impl v0.1.6
[INFO] [stderr]   Downloaded sequence_trie v0.3.6
[INFO] [stderr]   Downloaded libtool v0.1.1
[INFO] [stderr]   Downloaded inventory v0.1.9
[INFO] [stderr]   Downloaded typetag v0.1.6
[INFO] [stderr]   Downloaded timely_sort v0.1.6
[INFO] [stderr]   Downloaded differential-dataflow v0.11.0
[INFO] [stderr]   Downloaded ctor v0.1.16
[INFO] [stderr]   Downloaded arc-interner v0.1.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-83/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-83/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+a7a572ce3edd6d476191fbfe92c9c1986e009b34" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] bcf737bcb242d4fb1173cb1ce6d17497dfb542d24e64d9298f0ad3ac9693d450
[INFO] running `Command { std: "docker" "start" "-a" "bcf737bcb242d4fb1173cb1ce6d17497dfb542d24e64d9298f0ad3ac9693d450", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "bcf737bcb242d4fb1173cb1ce6d17497dfb542d24e64d9298f0ad3ac9693d450", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bcf737bcb242d4fb1173cb1ce6d17497dfb542d24e64d9298f0ad3ac9693d450", kill_on_drop: false }`
[INFO] [stdout] bcf737bcb242d4fb1173cb1ce6d17497dfb542d24e64d9298f0ad3ac9693d450
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-83/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-83/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+a7a572ce3edd6d476191fbfe92c9c1986e009b34" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7bb420bb9d8e41100ccbc31001fb61811fd88618bc6e0fe0156b5b29d1373374
[INFO] running `Command { std: "docker" "start" "-a" "7bb420bb9d8e41100ccbc31001fb61811fd88618bc6e0fe0156b5b29d1373374", kill_on_drop: false }`
[INFO] [stderr] Copying to /tmp/fixit
[INFO] [stderr] Running `cargo fix --edition`
[INFO] [stderr] note: Switching to Edition 2021 will enable the use of the version 2 feature resolver in Cargo.
[INFO] [stderr] This may cause some dependencies to be built with fewer features enabled than previously.
[INFO] [stderr] More information about the resolver changes may be found at https://doc.rust-lang.org/nightly/edition-guide/rust-2021/default-cargo-resolver.html
[INFO] [stderr] When building the following dependencies, the given features will no longer be used:
[INFO] [stderr] 
[INFO] [stderr]   byteorder v1.3.4: default, std
[INFO] [stderr]   lalrpop-util v0.19.1: lexer, regex
[INFO] [stderr]   standback v0.2.11 (as host dependency): std
[INFO] [stderr] 
[INFO] [stderr]    Compiling proc-macro2 v1.0.21
[INFO] [stderr]    Compiling unicode-xid v0.2.1
[INFO] [stderr]    Compiling syn v1.0.41
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]    Compiling serde_derive v1.0.117
[INFO] [stderr]    Compiling serde v1.0.117
[INFO] [stderr]    Compiling memchr v2.3.3
[INFO] [stderr]    Compiling byteorder v1.3.4
[INFO] [stderr]    Compiling libc v0.2.79
[INFO] [stderr]    Compiling version_check v0.9.2
[INFO] [stderr]     Checking lazy_static v1.4.0
[INFO] [stderr]    Compiling typenum v1.12.0
[INFO] [stderr]    Compiling ryu v1.0.5
[INFO] [stderr]     Checking unicode-width v0.1.8
[INFO] [stderr]     Checking timely_bytes v0.11.0
[INFO] [stderr]     Checking abomonation v0.7.3
[INFO] [stderr]     Checking timely_logging v0.11.1
[INFO] [stderr]    Compiling inventory v0.1.9
[INFO] [stderr]    Compiling const_fn v0.4.2
[INFO] [stderr]    Compiling byte-tools v0.3.1
[INFO] [stderr]    Compiling proc-macro-hack v0.5.18
[INFO] [stderr]    Compiling log v0.4.11
[INFO] [stderr]     Checking itoa v0.4.6
[INFO] [stderr]    Compiling regex-syntax v0.6.20
[INFO] [stderr]    Compiling siphasher v0.3.3
[INFO] [stderr]     Checking fnv v1.0.7
[INFO] [stderr]    Compiling cfg-if v0.1.10
[INFO] [stderr]    Compiling serde_json v1.0.59
[INFO] [stderr]     Checking timely_sort v0.1.6
[INFO] [stderr]    Compiling hashbrown v0.9.1
[INFO] [stderr]    Compiling strsim v0.9.3
[INFO] [stderr]    Compiling either v1.6.1
[INFO] [stderr]    Compiling bit-vec v0.6.2
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]     Checking sequence_trie v0.3.6
[INFO] [stderr]     Checking state v0.4.1
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.4
[INFO] [stderr]    Compiling fake-simd v0.1.2
[INFO] [stderr]    Compiling fixedbitset v0.2.0
[INFO] [stderr]    Compiling opaque-debug v0.2.3
[INFO] [stderr]    Compiling diff v0.1.12
[INFO] [stderr]     Checking once_cell v1.4.1
[INFO] [stderr]    Compiling libtool v0.1.1
[INFO] [stderr]    Compiling thread_local v1.0.1
[INFO] [stderr]     Checking getopts v0.2.21
[INFO] [stderr]    Compiling standback v0.2.11
[INFO] [stderr]    Compiling time v0.2.22
[INFO] [stderr]    Compiling ena v0.14.0
[INFO] [stderr]    Compiling typecheck v0.1.0 (/tmp/fixit/typecheck_ddlog)
[INFO] [stderr]    Compiling quote v1.0.7
[INFO] [stderr]    Compiling block-padding v0.1.5
[INFO] [stderr]    Compiling phf_shared v0.8.0
[INFO] [stderr]    Compiling itertools v0.9.0
[INFO] [stderr]    Compiling aho-corasick v0.7.14
[INFO] [stderr]    Compiling num-traits v0.2.12
[INFO] [stderr]    Compiling num-integer v0.1.43
[INFO] [stderr]    Compiling num-bigint v0.2.6
[INFO] [stderr]    Compiling num-iter v0.1.41
[INFO] [stderr]    Compiling num-rational v0.2.4
[INFO] [stderr]    Compiling num-complex v0.2.4
[INFO] [stderr]    Compiling indexmap v1.6.0
[INFO] [stderr]     Checking csv-core v0.1.10
[INFO] [stderr]     Checking regex-automata v0.1.9
[INFO] [stderr]    Compiling bit-set v0.5.2
[INFO] [stderr]    Compiling dirs v1.0.5
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling term v0.5.2
[INFO] [stderr]    Compiling generic-array v0.12.3
[INFO] [stderr]     Checking regex v1.4.1
[INFO] [stderr]    Compiling ascii-canvas v2.0.0
[INFO] [stderr]    Compiling block-buffer v0.7.3
[INFO] [stderr]    Compiling digest v0.8.1
[INFO] [stderr]    Compiling petgraph v0.5.1
[INFO] [stderr]    Compiling sha2 v0.8.2
[INFO] [stderr]     Checking lalrpop-util v0.19.1
[INFO] [stderr]    Compiling synstructure v0.12.4
[INFO] [stderr]    Compiling abomonation_derive v0.5.0
[INFO] [stderr]    Compiling ghost v0.1.2
[INFO] [stderr]    Compiling inventory-impl v0.1.9
[INFO] [stderr]    Compiling ctor v0.1.16
[INFO] [stderr]    Compiling time-macros-impl v0.1.1
[INFO] [stderr]    Compiling typetag-impl v0.1.6
[INFO] [stderr]     Checking time-macros v0.1.1
[INFO] [stderr]    Compiling docopt v1.1.0
[INFO] [stderr]    Compiling string_cache v0.8.0
[INFO] [stderr]     Checking timely_communication v0.11.1
[INFO] [stderr]     Checking erased-serde v0.3.12
[INFO] [stderr]     Checking bstr v0.2.14
[INFO] [stderr]     Checking ordered-float v2.0.0
[INFO] [stderr]     Checking arc-interner v0.1.1
[INFO] [stderr]    Compiling lalrpop v0.19.1
[INFO] [stderr]     Checking timely v0.11.1
[INFO] [stderr]     Checking typetag v0.1.6
[INFO] [stderr]     Checking num v0.2.1
[INFO] [stderr]     Checking csv v1.1.3
[INFO] [stderr]     Checking differential-dataflow v0.11.0
[INFO] [stderr]     Checking differential_datalog v0.1.0 (/tmp/fixit/typecheck_ddlog/differential_datalog)
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:37:1
[INFO] [stdout]     |
[INFO] [stdout] 37  | decl_ddval_convert! {Empty}
[INFO] [stdout]     | --------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(redundant_semicolons)]` on by default
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:37:1
[INFO] [stdout]     |
[INFO] [stdout] 37  | decl_ddval_convert! {Empty}
[INFO] [stdout]     | --------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:37:1
[INFO] [stdout]     |
[INFO] [stdout] 37  | decl_ddval_convert! {Empty}
[INFO] [stdout]     | --------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:37:1
[INFO] [stdout]     |
[INFO] [stdout] 37  | decl_ddval_convert! {Empty}
[INFO] [stdout]     | --------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:37:1
[INFO] [stdout]     |
[INFO] [stdout] 37  | decl_ddval_convert! {Empty}
[INFO] [stdout]     | --------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:37:1
[INFO] [stdout]     |
[INFO] [stdout] 37  | decl_ddval_convert! {Empty}
[INFO] [stdout]     | --------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:37:1
[INFO] [stdout]     |
[INFO] [stdout] 37  | decl_ddval_convert! {Empty}
[INFO] [stdout]     | --------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:37:1
[INFO] [stdout]     |
[INFO] [stdout] 37  | decl_ddval_convert! {Empty}
[INFO] [stdout]     | --------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:37:1
[INFO] [stdout]     |
[INFO] [stdout] 37  | decl_ddval_convert! {Empty}
[INFO] [stdout]     | --------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:37:1
[INFO] [stdout]     |
[INFO] [stdout] 37  | decl_ddval_convert! {Empty}
[INFO] [stdout]     | --------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:37:1
[INFO] [stdout]     |
[INFO] [stdout] 37  | decl_ddval_convert! {Empty}
[INFO] [stdout]     | --------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:59:1
[INFO] [stdout]     |
[INFO] [stdout] 59  | decl_ddval_convert! {Bool}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:59:1
[INFO] [stdout]     |
[INFO] [stdout] 59  | decl_ddval_convert! {Bool}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:59:1
[INFO] [stdout]     |
[INFO] [stdout] 59  | decl_ddval_convert! {Bool}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:59:1
[INFO] [stdout]     |
[INFO] [stdout] 59  | decl_ddval_convert! {Bool}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:59:1
[INFO] [stdout]     |
[INFO] [stdout] 59  | decl_ddval_convert! {Bool}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:59:1
[INFO] [stdout]     |
[INFO] [stdout] 59  | decl_ddval_convert! {Bool}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:59:1
[INFO] [stdout]     |
[INFO] [stdout] 59  | decl_ddval_convert! {Bool}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:59:1
[INFO] [stdout]     |
[INFO] [stdout] 59  | decl_ddval_convert! {Bool}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:59:1
[INFO] [stdout]     |
[INFO] [stdout] 59  | decl_ddval_convert! {Bool}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:59:1
[INFO] [stdout]     |
[INFO] [stdout] 59  | decl_ddval_convert! {Bool}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:59:1
[INFO] [stdout]     |
[INFO] [stdout] 59  | decl_ddval_convert! {Bool}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:81:1
[INFO] [stdout]     |
[INFO] [stdout] 81  | decl_ddval_convert! {Uint}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:81:1
[INFO] [stdout]     |
[INFO] [stdout] 81  | decl_ddval_convert! {Uint}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:81:1
[INFO] [stdout]     |
[INFO] [stdout] 81  | decl_ddval_convert! {Uint}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:81:1
[INFO] [stdout]     |
[INFO] [stdout] 81  | decl_ddval_convert! {Uint}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:81:1
[INFO] [stdout]     |
[INFO] [stdout] 81  | decl_ddval_convert! {Uint}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:81:1
[INFO] [stdout]     |
[INFO] [stdout] 81  | decl_ddval_convert! {Uint}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:81:1
[INFO] [stdout]     |
[INFO] [stdout] 81  | decl_ddval_convert! {Uint}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:81:1
[INFO] [stdout]     |
[INFO] [stdout] 81  | decl_ddval_convert! {Uint}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:81:1
[INFO] [stdout]     |
[INFO] [stdout] 81  | decl_ddval_convert! {Uint}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:81:1
[INFO] [stdout]     |
[INFO] [stdout] 81  | decl_ddval_convert! {Uint}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:81:1
[INFO] [stdout]     |
[INFO] [stdout] 81  | decl_ddval_convert! {Uint}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:103:1
[INFO] [stdout]     |
[INFO] [stdout] 103 | decl_ddval_convert! {String}
[INFO] [stdout]     | ---------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:103:1
[INFO] [stdout]     |
[INFO] [stdout] 103 | decl_ddval_convert! {String}
[INFO] [stdout]     | ---------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:103:1
[INFO] [stdout]     |
[INFO] [stdout] 103 | decl_ddval_convert! {String}
[INFO] [stdout]     | ---------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:103:1
[INFO] [stdout]     |
[INFO] [stdout] 103 | decl_ddval_convert! {String}
[INFO] [stdout]     | ---------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:103:1
[INFO] [stdout]     |
[INFO] [stdout] 103 | decl_ddval_convert! {String}
[INFO] [stdout]     | ---------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:103:1
[INFO] [stdout]     |
[INFO] [stdout] 103 | decl_ddval_convert! {String}
[INFO] [stdout]     | ---------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:103:1
[INFO] [stdout]     |
[INFO] [stdout] 103 | decl_ddval_convert! {String}
[INFO] [stdout]     | ---------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:103:1
[INFO] [stdout]     |
[INFO] [stdout] 103 | decl_ddval_convert! {String}
[INFO] [stdout]     | ---------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:103:1
[INFO] [stdout]     |
[INFO] [stdout] 103 | decl_ddval_convert! {String}
[INFO] [stdout]     | ---------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:103:1
[INFO] [stdout]     |
[INFO] [stdout] 103 | decl_ddval_convert! {String}
[INFO] [stdout]     | ---------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:103:1
[INFO] [stdout]     |
[INFO] [stdout] 103 | decl_ddval_convert! {String}
[INFO] [stdout]     | ---------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:125:1
[INFO] [stdout]     |
[INFO] [stdout] 125 | decl_ddval_convert! {U8}
[INFO] [stdout]     | ------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:125:1
[INFO] [stdout]     |
[INFO] [stdout] 125 | decl_ddval_convert! {U8}
[INFO] [stdout]     | ------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:125:1
[INFO] [stdout]     |
[INFO] [stdout] 125 | decl_ddval_convert! {U8}
[INFO] [stdout]     | ------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:125:1
[INFO] [stdout]     |
[INFO] [stdout] 125 | decl_ddval_convert! {U8}
[INFO] [stdout]     | ------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:125:1
[INFO] [stdout]     |
[INFO] [stdout] 125 | decl_ddval_convert! {U8}
[INFO] [stdout]     | ------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:125:1
[INFO] [stdout]     |
[INFO] [stdout] 125 | decl_ddval_convert! {U8}
[INFO] [stdout]     | ------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:125:1
[INFO] [stdout]     |
[INFO] [stdout] 125 | decl_ddval_convert! {U8}
[INFO] [stdout]     | ------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:125:1
[INFO] [stdout]     |
[INFO] [stdout] 125 | decl_ddval_convert! {U8}
[INFO] [stdout]     | ------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:125:1
[INFO] [stdout]     |
[INFO] [stdout] 125 | decl_ddval_convert! {U8}
[INFO] [stdout]     | ------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:125:1
[INFO] [stdout]     |
[INFO] [stdout] 125 | decl_ddval_convert! {U8}
[INFO] [stdout]     | ------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:125:1
[INFO] [stdout]     |
[INFO] [stdout] 125 | decl_ddval_convert! {U8}
[INFO] [stdout]     | ------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:147:1
[INFO] [stdout]     |
[INFO] [stdout] 147 | decl_ddval_convert! {U16}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:147:1
[INFO] [stdout]     |
[INFO] [stdout] 147 | decl_ddval_convert! {U16}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:147:1
[INFO] [stdout]     |
[INFO] [stdout] 147 | decl_ddval_convert! {U16}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:147:1
[INFO] [stdout]     |
[INFO] [stdout] 147 | decl_ddval_convert! {U16}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:147:1
[INFO] [stdout]     |
[INFO] [stdout] 147 | decl_ddval_convert! {U16}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:147:1
[INFO] [stdout]     |
[INFO] [stdout] 147 | decl_ddval_convert! {U16}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:147:1
[INFO] [stdout]     |
[INFO] [stdout] 147 | decl_ddval_convert! {U16}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:147:1
[INFO] [stdout]     |
[INFO] [stdout] 147 | decl_ddval_convert! {U16}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:147:1
[INFO] [stdout]     |
[INFO] [stdout] 147 | decl_ddval_convert! {U16}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:147:1
[INFO] [stdout]     |
[INFO] [stdout] 147 | decl_ddval_convert! {U16}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:147:1
[INFO] [stdout]     |
[INFO] [stdout] 147 | decl_ddval_convert! {U16}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:169:1
[INFO] [stdout]     |
[INFO] [stdout] 169 | decl_ddval_convert! {U32}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:169:1
[INFO] [stdout]     |
[INFO] [stdout] 169 | decl_ddval_convert! {U32}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:169:1
[INFO] [stdout]     |
[INFO] [stdout] 169 | decl_ddval_convert! {U32}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:169:1
[INFO] [stdout]     |
[INFO] [stdout] 169 | decl_ddval_convert! {U32}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:169:1
[INFO] [stdout]     |
[INFO] [stdout] 169 | decl_ddval_convert! {U32}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:169:1
[INFO] [stdout]     |
[INFO] [stdout] 169 | decl_ddval_convert! {U32}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:169:1
[INFO] [stdout]     |
[INFO] [stdout] 169 | decl_ddval_convert! {U32}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:169:1
[INFO] [stdout]     |
[INFO] [stdout] 169 | decl_ddval_convert! {U32}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:169:1
[INFO] [stdout]     |
[INFO] [stdout] 169 | decl_ddval_convert! {U32}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:169:1
[INFO] [stdout]     |
[INFO] [stdout] 169 | decl_ddval_convert! {U32}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:169:1
[INFO] [stdout]     |
[INFO] [stdout] 169 | decl_ddval_convert! {U32}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:191:1
[INFO] [stdout]     |
[INFO] [stdout] 191 | decl_ddval_convert! {U64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:191:1
[INFO] [stdout]     |
[INFO] [stdout] 191 | decl_ddval_convert! {U64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:191:1
[INFO] [stdout]     |
[INFO] [stdout] 191 | decl_ddval_convert! {U64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:191:1
[INFO] [stdout]     |
[INFO] [stdout] 191 | decl_ddval_convert! {U64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:191:1
[INFO] [stdout]     |
[INFO] [stdout] 191 | decl_ddval_convert! {U64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:191:1
[INFO] [stdout]     |
[INFO] [stdout] 191 | decl_ddval_convert! {U64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:191:1
[INFO] [stdout]     |
[INFO] [stdout] 191 | decl_ddval_convert! {U64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:191:1
[INFO] [stdout]     |
[INFO] [stdout] 191 | decl_ddval_convert! {U64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:191:1
[INFO] [stdout]     |
[INFO] [stdout] 191 | decl_ddval_convert! {U64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:191:1
[INFO] [stdout]     |
[INFO] [stdout] 191 | decl_ddval_convert! {U64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:191:1
[INFO] [stdout]     |
[INFO] [stdout] 191 | decl_ddval_convert! {U64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:213:1
[INFO] [stdout]     |
[INFO] [stdout] 213 | decl_ddval_convert! {I64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:213:1
[INFO] [stdout]     |
[INFO] [stdout] 213 | decl_ddval_convert! {I64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:213:1
[INFO] [stdout]     |
[INFO] [stdout] 213 | decl_ddval_convert! {I64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:213:1
[INFO] [stdout]     |
[INFO] [stdout] 213 | decl_ddval_convert! {I64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:213:1
[INFO] [stdout]     |
[INFO] [stdout] 213 | decl_ddval_convert! {I64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:213:1
[INFO] [stdout]     |
[INFO] [stdout] 213 | decl_ddval_convert! {I64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:213:1
[INFO] [stdout]     |
[INFO] [stdout] 213 | decl_ddval_convert! {I64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:213:1
[INFO] [stdout]     |
[INFO] [stdout] 213 | decl_ddval_convert! {I64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:213:1
[INFO] [stdout]     |
[INFO] [stdout] 213 | decl_ddval_convert! {I64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:213:1
[INFO] [stdout]     |
[INFO] [stdout] 213 | decl_ddval_convert! {I64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:213:1
[INFO] [stdout]     |
[INFO] [stdout] 213 | decl_ddval_convert! {I64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:235:1
[INFO] [stdout]     |
[INFO] [stdout] 235 | decl_ddval_convert! {BoolTuple}
[INFO] [stdout]     | ------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:235:1
[INFO] [stdout]     |
[INFO] [stdout] 235 | decl_ddval_convert! {BoolTuple}
[INFO] [stdout]     | ------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:235:1
[INFO] [stdout]     |
[INFO] [stdout] 235 | decl_ddval_convert! {BoolTuple}
[INFO] [stdout]     | ------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:235:1
[INFO] [stdout]     |
[INFO] [stdout] 235 | decl_ddval_convert! {BoolTuple}
[INFO] [stdout]     | ------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:235:1
[INFO] [stdout]     |
[INFO] [stdout] 235 | decl_ddval_convert! {BoolTuple}
[INFO] [stdout]     | ------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:235:1
[INFO] [stdout]     |
[INFO] [stdout] 235 | decl_ddval_convert! {BoolTuple}
[INFO] [stdout]     | ------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:235:1
[INFO] [stdout]     |
[INFO] [stdout] 235 | decl_ddval_convert! {BoolTuple}
[INFO] [stdout]     | ------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:235:1
[INFO] [stdout]     |
[INFO] [stdout] 235 | decl_ddval_convert! {BoolTuple}
[INFO] [stdout]     | ------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:235:1
[INFO] [stdout]     |
[INFO] [stdout] 235 | decl_ddval_convert! {BoolTuple}
[INFO] [stdout]     | ------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:235:1
[INFO] [stdout]     |
[INFO] [stdout] 235 | decl_ddval_convert! {BoolTuple}
[INFO] [stdout]     | ------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:235:1
[INFO] [stdout]     |
[INFO] [stdout] 235 | decl_ddval_convert! {BoolTuple}
[INFO] [stdout]     | ------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:257:1
[INFO] [stdout]     |
[INFO] [stdout] 257 | decl_ddval_convert! {Tuple2<U64>}
[INFO] [stdout]     | --------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:257:1
[INFO] [stdout]     |
[INFO] [stdout] 257 | decl_ddval_convert! {Tuple2<U64>}
[INFO] [stdout]     | --------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:257:1
[INFO] [stdout]     |
[INFO] [stdout] 257 | decl_ddval_convert! {Tuple2<U64>}
[INFO] [stdout]     | --------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:257:1
[INFO] [stdout]     |
[INFO] [stdout] 257 | decl_ddval_convert! {Tuple2<U64>}
[INFO] [stdout]     | --------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:257:1
[INFO] [stdout]     |
[INFO] [stdout] 257 | decl_ddval_convert! {Tuple2<U64>}
[INFO] [stdout]     | --------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:257:1
[INFO] [stdout]     |
[INFO] [stdout] 257 | decl_ddval_convert! {Tuple2<U64>}
[INFO] [stdout]     | --------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:257:1
[INFO] [stdout]     |
[INFO] [stdout] 257 | decl_ddval_convert! {Tuple2<U64>}
[INFO] [stdout]     | --------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:257:1
[INFO] [stdout]     |
[INFO] [stdout] 257 | decl_ddval_convert! {Tuple2<U64>}
[INFO] [stdout]     | --------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:257:1
[INFO] [stdout]     |
[INFO] [stdout] 257 | decl_ddval_convert! {Tuple2<U64>}
[INFO] [stdout]     | --------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:257:1
[INFO] [stdout]     |
[INFO] [stdout] 257 | decl_ddval_convert! {Tuple2<U64>}
[INFO] [stdout]     | --------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:257:1
[INFO] [stdout]     |
[INFO] [stdout] 257 | decl_ddval_convert! {Tuple2<U64>}
[INFO] [stdout]     | --------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:260:1
[INFO] [stdout]     |
[INFO] [stdout] 260 | decl_ddval_convert! {Tuple2<String>}
[INFO] [stdout]     | ------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:260:1
[INFO] [stdout]     |
[INFO] [stdout] 260 | decl_ddval_convert! {Tuple2<String>}
[INFO] [stdout]     | ------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:260:1
[INFO] [stdout]     |
[INFO] [stdout] 260 | decl_ddval_convert! {Tuple2<String>}
[INFO] [stdout]     | ------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:260:1
[INFO] [stdout]     |
[INFO] [stdout] 260 | decl_ddval_convert! {Tuple2<String>}
[INFO] [stdout]     | ------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:260:1
[INFO] [stdout]     |
[INFO] [stdout] 260 | decl_ddval_convert! {Tuple2<String>}
[INFO] [stdout]     | ------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:260:1
[INFO] [stdout]     |
[INFO] [stdout] 260 | decl_ddval_convert! {Tuple2<String>}
[INFO] [stdout]     | ------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:260:1
[INFO] [stdout]     |
[INFO] [stdout] 260 | decl_ddval_convert! {Tuple2<String>}
[INFO] [stdout]     | ------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:260:1
[INFO] [stdout]     |
[INFO] [stdout] 260 | decl_ddval_convert! {Tuple2<String>}
[INFO] [stdout]     | ------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:260:1
[INFO] [stdout]     |
[INFO] [stdout] 260 | decl_ddval_convert! {Tuple2<String>}
[INFO] [stdout]     | ------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:260:1
[INFO] [stdout]     |
[INFO] [stdout] 260 | decl_ddval_convert! {Tuple2<String>}
[INFO] [stdout]     | ------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:260:1
[INFO] [stdout]     |
[INFO] [stdout] 260 | decl_ddval_convert! {Tuple2<String>}
[INFO] [stdout]     | ------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:285:1
[INFO] [stdout]     |
[INFO] [stdout] 285 | decl_ddval_convert! {Q}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:285:1
[INFO] [stdout]     |
[INFO] [stdout] 285 | decl_ddval_convert! {Q}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:285:1
[INFO] [stdout]     |
[INFO] [stdout] 285 | decl_ddval_convert! {Q}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:285:1
[INFO] [stdout]     |
[INFO] [stdout] 285 | decl_ddval_convert! {Q}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:285:1
[INFO] [stdout]     |
[INFO] [stdout] 285 | decl_ddval_convert! {Q}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:285:1
[INFO] [stdout]     |
[INFO] [stdout] 285 | decl_ddval_convert! {Q}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:285:1
[INFO] [stdout]     |
[INFO] [stdout] 285 | decl_ddval_convert! {Q}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:285:1
[INFO] [stdout]     |
[INFO] [stdout] 285 | decl_ddval_convert! {Q}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:285:1
[INFO] [stdout]     |
[INFO] [stdout] 285 | decl_ddval_convert! {Q}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:285:1
[INFO] [stdout]     |
[INFO] [stdout] 285 | decl_ddval_convert! {Q}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:285:1
[INFO] [stdout]     |
[INFO] [stdout] 285 | decl_ddval_convert! {Q}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:339:1
[INFO] [stdout]     |
[INFO] [stdout] 339 | decl_ddval_convert! {S}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:339:1
[INFO] [stdout]     |
[INFO] [stdout] 339 | decl_ddval_convert! {S}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:339:1
[INFO] [stdout]     |
[INFO] [stdout] 339 | decl_ddval_convert! {S}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:339:1
[INFO] [stdout]     |
[INFO] [stdout] 339 | decl_ddval_convert! {S}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:339:1
[INFO] [stdout]     |
[INFO] [stdout] 339 | decl_ddval_convert! {S}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:339:1
[INFO] [stdout]     |
[INFO] [stdout] 339 | decl_ddval_convert! {S}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:339:1
[INFO] [stdout]     |
[INFO] [stdout] 339 | decl_ddval_convert! {S}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:339:1
[INFO] [stdout]     |
[INFO] [stdout] 339 | decl_ddval_convert! {S}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:339:1
[INFO] [stdout]     |
[INFO] [stdout] 339 | decl_ddval_convert! {S}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:339:1
[INFO] [stdout]     |
[INFO] [stdout] 339 | decl_ddval_convert! {S}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:339:1
[INFO] [stdout]     |
[INFO] [stdout] 339 | decl_ddval_convert! {S}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 154 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking types v0.1.0 (/tmp/fixit/typecheck_ddlog/types)
[INFO] [stdout] warning: derive helper attribute is used before it is introduced
[INFO] [stdout]     --> typecheck_ddlog/types/ddlog_std.rs:1845:3
[INFO] [stdout]      |
[INFO] [stdout] 1845 | #[serde(from="::std::option::Option<A>", into="::std::option::Option<A>", bound(serialize="A: Clone+Serialize"))]
[INFO] [stdout]      |   ^^^^^
[INFO] [stdout] 1846 | #[derive(Eq, Ord, Clone, Hash, PartialEq, PartialOrd, Serialize, Deserialize)]
[INFO] [stdout]      |                                                       --------- the attribute is introduced here
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(legacy_derive_helpers)]` on by default
[INFO] [stdout]      = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]      = note: for more information, see issue #79202 <https://github.com/rust-lang/rust/issues/79202>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/types/closure.rs:206:18
[INFO] [stdout]     |
[INFO] [stdout] 206 |                 };
[INFO] [stdout]     |                  ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(redundant_semicolons)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling nectarine v0.1.0 (/tmp/fixit)
[INFO] [stderr]    Migrating build.rs from 2018 edition to 2021
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking value v0.1.0 (/tmp/fixit/typecheck_ddlog/value)
[INFO] [stderr]    Migrating src/main.rs from 2018 edition to 2021
[INFO] [stdout] warning: variant is never constructed: `Module`
[INFO] [stdout]  --> src/ast.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     Module(Module),
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Ensure`
[INFO] [stdout]   --> src/ast.rs:36:5
[INFO] [stdout]    |
[INFO] [stdout] 36 |     Ensure(Box<Ensure>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Paren`
[INFO] [stdout]   --> src/ast.rs:43:5
[INFO] [stdout]    |
[INFO] [stdout] 43 |     Paren(Box<Expr>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Path`
[INFO] [stdout]    --> src/ast.rs:102:5
[INFO] [stdout]     |
[INFO] [stdout] 102 |     Path(Path),
[INFO] [stdout]     |     ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Ident`
[INFO] [stdout]    --> src/ast.rs:103:5
[INFO] [stdout]     |
[INFO] [stdout] 103 |     Ident(Ident),
[INFO] [stdout]     |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `min_const_generics` has been stable since 1.51.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/main.rs:1:23
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(once_cell, min_const_generics)]
[INFO] [stdout]   |                       ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 6 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Module`
[INFO] [stdout]  --> src/ast.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     Module(Module),
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Ensure`
[INFO] [stdout]   --> src/ast.rs:36:5
[INFO] [stdout]    |
[INFO] [stdout] 36 |     Ensure(Box<Ensure>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Paren`
[INFO] [stdout]   --> src/ast.rs:43:5
[INFO] [stdout]    |
[INFO] [stdout] 43 |     Paren(Box<Expr>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Path`
[INFO] [stdout]    --> src/ast.rs:102:5
[INFO] [stdout]     |
[INFO] [stdout] 102 |     Path(Path),
[INFO] [stdout]     |     ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Ident`
[INFO] [stdout]    --> src/ast.rs:103:5
[INFO] [stdout]     |
[INFO] [stdout] 103 |     Ident(Ident),
[INFO] [stdout]     |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `min_const_generics` has been stable since 1.51.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/main.rs:1:23
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(once_cell, min_const_generics)]
[INFO] [stdout]   |                       ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 6 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1m 11s
[INFO] [stderr] Running `cargo check` to verify 2021
[INFO] [stderr]    Compiling byteorder v1.3.4
[INFO] [stderr]     Checking lalrpop-util v0.19.1
[INFO] [stderr]    Compiling standback v0.2.11
[INFO] [stderr]    Compiling typecheck v0.1.0 (/tmp/fixit/typecheck_ddlog)
[INFO] [stderr]    Compiling nectarine v0.1.0 (/tmp/fixit)
[INFO] [stderr]    Compiling time-macros-impl v0.1.1
[INFO] [stderr]     Checking regex-automata v0.1.9
[INFO] [stderr]     Checking bstr v0.2.14
[INFO] [stderr]     Checking csv v1.1.3
[INFO] [stderr]     Checking time-macros v0.1.1
[INFO] [stderr]     Checking time v0.2.22
[INFO] [stderr]     Checking differential_datalog v0.1.0 (/tmp/fixit/typecheck_ddlog/differential_datalog)
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:37:1
[INFO] [stdout]     |
[INFO] [stdout] 37  | decl_ddval_convert! {Empty}
[INFO] [stdout]     | --------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(redundant_semicolons)]` on by default
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:37:1
[INFO] [stdout]     |
[INFO] [stdout] 37  | decl_ddval_convert! {Empty}
[INFO] [stdout]     | --------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:37:1
[INFO] [stdout]     |
[INFO] [stdout] 37  | decl_ddval_convert! {Empty}
[INFO] [stdout]     | --------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:37:1
[INFO] [stdout]     |
[INFO] [stdout] 37  | decl_ddval_convert! {Empty}
[INFO] [stdout]     | --------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:37:1
[INFO] [stdout]     |
[INFO] [stdout] 37  | decl_ddval_convert! {Empty}
[INFO] [stdout]     | --------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:37:1
[INFO] [stdout]     |
[INFO] [stdout] 37  | decl_ddval_convert! {Empty}
[INFO] [stdout]     | --------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:37:1
[INFO] [stdout]     |
[INFO] [stdout] 37  | decl_ddval_convert! {Empty}
[INFO] [stdout]     | --------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:37:1
[INFO] [stdout]     |
[INFO] [stdout] 37  | decl_ddval_convert! {Empty}
[INFO] [stdout]     | --------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:37:1
[INFO] [stdout]     |
[INFO] [stdout] 37  | decl_ddval_convert! {Empty}
[INFO] [stdout]     | --------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:37:1
[INFO] [stdout]     |
[INFO] [stdout] 37  | decl_ddval_convert! {Empty}
[INFO] [stdout]     | --------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:37:1
[INFO] [stdout]     |
[INFO] [stdout] 37  | decl_ddval_convert! {Empty}
[INFO] [stdout]     | --------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:59:1
[INFO] [stdout]     |
[INFO] [stdout] 59  | decl_ddval_convert! {Bool}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:59:1
[INFO] [stdout]     |
[INFO] [stdout] 59  | decl_ddval_convert! {Bool}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:59:1
[INFO] [stdout]     |
[INFO] [stdout] 59  | decl_ddval_convert! {Bool}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:59:1
[INFO] [stdout]     |
[INFO] [stdout] 59  | decl_ddval_convert! {Bool}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:59:1
[INFO] [stdout]     |
[INFO] [stdout] 59  | decl_ddval_convert! {Bool}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:59:1
[INFO] [stdout]     |
[INFO] [stdout] 59  | decl_ddval_convert! {Bool}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:59:1
[INFO] [stdout]     |
[INFO] [stdout] 59  | decl_ddval_convert! {Bool}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:59:1
[INFO] [stdout]     |
[INFO] [stdout] 59  | decl_ddval_convert! {Bool}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:59:1
[INFO] [stdout]     |
[INFO] [stdout] 59  | decl_ddval_convert! {Bool}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:59:1
[INFO] [stdout]     |
[INFO] [stdout] 59  | decl_ddval_convert! {Bool}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:59:1
[INFO] [stdout]     |
[INFO] [stdout] 59  | decl_ddval_convert! {Bool}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:81:1
[INFO] [stdout]     |
[INFO] [stdout] 81  | decl_ddval_convert! {Uint}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:81:1
[INFO] [stdout]     |
[INFO] [stdout] 81  | decl_ddval_convert! {Uint}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:81:1
[INFO] [stdout]     |
[INFO] [stdout] 81  | decl_ddval_convert! {Uint}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:81:1
[INFO] [stdout]     |
[INFO] [stdout] 81  | decl_ddval_convert! {Uint}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:81:1
[INFO] [stdout]     |
[INFO] [stdout] 81  | decl_ddval_convert! {Uint}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:81:1
[INFO] [stdout]     |
[INFO] [stdout] 81  | decl_ddval_convert! {Uint}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:81:1
[INFO] [stdout]     |
[INFO] [stdout] 81  | decl_ddval_convert! {Uint}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:81:1
[INFO] [stdout]     |
[INFO] [stdout] 81  | decl_ddval_convert! {Uint}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:81:1
[INFO] [stdout]     |
[INFO] [stdout] 81  | decl_ddval_convert! {Uint}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:81:1
[INFO] [stdout]     |
[INFO] [stdout] 81  | decl_ddval_convert! {Uint}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:81:1
[INFO] [stdout]     |
[INFO] [stdout] 81  | decl_ddval_convert! {Uint}
[INFO] [stdout]     | -------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:103:1
[INFO] [stdout]     |
[INFO] [stdout] 103 | decl_ddval_convert! {String}
[INFO] [stdout]     | ---------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:103:1
[INFO] [stdout]     |
[INFO] [stdout] 103 | decl_ddval_convert! {String}
[INFO] [stdout]     | ---------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:103:1
[INFO] [stdout]     |
[INFO] [stdout] 103 | decl_ddval_convert! {String}
[INFO] [stdout]     | ---------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:103:1
[INFO] [stdout]     |
[INFO] [stdout] 103 | decl_ddval_convert! {String}
[INFO] [stdout]     | ---------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:103:1
[INFO] [stdout]     |
[INFO] [stdout] 103 | decl_ddval_convert! {String}
[INFO] [stdout]     | ---------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:103:1
[INFO] [stdout]     |
[INFO] [stdout] 103 | decl_ddval_convert! {String}
[INFO] [stdout]     | ---------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:103:1
[INFO] [stdout]     |
[INFO] [stdout] 103 | decl_ddval_convert! {String}
[INFO] [stdout]     | ---------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:103:1
[INFO] [stdout]     |
[INFO] [stdout] 103 | decl_ddval_convert! {String}
[INFO] [stdout]     | ---------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:103:1
[INFO] [stdout]     |
[INFO] [stdout] 103 | decl_ddval_convert! {String}
[INFO] [stdout]     | ---------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:103:1
[INFO] [stdout]     |
[INFO] [stdout] 103 | decl_ddval_convert! {String}
[INFO] [stdout]     | ---------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:103:1
[INFO] [stdout]     |
[INFO] [stdout] 103 | decl_ddval_convert! {String}
[INFO] [stdout]     | ---------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:125:1
[INFO] [stdout]     |
[INFO] [stdout] 125 | decl_ddval_convert! {U8}
[INFO] [stdout]     | ------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:125:1
[INFO] [stdout]     |
[INFO] [stdout] 125 | decl_ddval_convert! {U8}
[INFO] [stdout]     | ------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:125:1
[INFO] [stdout]     |
[INFO] [stdout] 125 | decl_ddval_convert! {U8}
[INFO] [stdout]     | ------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:125:1
[INFO] [stdout]     |
[INFO] [stdout] 125 | decl_ddval_convert! {U8}
[INFO] [stdout]     | ------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:125:1
[INFO] [stdout]     |
[INFO] [stdout] 125 | decl_ddval_convert! {U8}
[INFO] [stdout]     | ------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:125:1
[INFO] [stdout]     |
[INFO] [stdout] 125 | decl_ddval_convert! {U8}
[INFO] [stdout]     | ------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:125:1
[INFO] [stdout]     |
[INFO] [stdout] 125 | decl_ddval_convert! {U8}
[INFO] [stdout]     | ------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:125:1
[INFO] [stdout]     |
[INFO] [stdout] 125 | decl_ddval_convert! {U8}
[INFO] [stdout]     | ------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:125:1
[INFO] [stdout]     |
[INFO] [stdout] 125 | decl_ddval_convert! {U8}
[INFO] [stdout]     | ------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:125:1
[INFO] [stdout]     |
[INFO] [stdout] 125 | decl_ddval_convert! {U8}
[INFO] [stdout]     | ------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:125:1
[INFO] [stdout]     |
[INFO] [stdout] 125 | decl_ddval_convert! {U8}
[INFO] [stdout]     | ------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:147:1
[INFO] [stdout]     |
[INFO] [stdout] 147 | decl_ddval_convert! {U16}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:147:1
[INFO] [stdout]     |
[INFO] [stdout] 147 | decl_ddval_convert! {U16}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:147:1
[INFO] [stdout]     |
[INFO] [stdout] 147 | decl_ddval_convert! {U16}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:147:1
[INFO] [stdout]     |
[INFO] [stdout] 147 | decl_ddval_convert! {U16}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:147:1
[INFO] [stdout]     |
[INFO] [stdout] 147 | decl_ddval_convert! {U16}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:147:1
[INFO] [stdout]     |
[INFO] [stdout] 147 | decl_ddval_convert! {U16}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:147:1
[INFO] [stdout]     |
[INFO] [stdout] 147 | decl_ddval_convert! {U16}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:147:1
[INFO] [stdout]     |
[INFO] [stdout] 147 | decl_ddval_convert! {U16}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:147:1
[INFO] [stdout]     |
[INFO] [stdout] 147 | decl_ddval_convert! {U16}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:147:1
[INFO] [stdout]     |
[INFO] [stdout] 147 | decl_ddval_convert! {U16}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:147:1
[INFO] [stdout]     |
[INFO] [stdout] 147 | decl_ddval_convert! {U16}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:169:1
[INFO] [stdout]     |
[INFO] [stdout] 169 | decl_ddval_convert! {U32}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:169:1
[INFO] [stdout]     |
[INFO] [stdout] 169 | decl_ddval_convert! {U32}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:169:1
[INFO] [stdout]     |
[INFO] [stdout] 169 | decl_ddval_convert! {U32}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:169:1
[INFO] [stdout]     |
[INFO] [stdout] 169 | decl_ddval_convert! {U32}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:169:1
[INFO] [stdout]     |
[INFO] [stdout] 169 | decl_ddval_convert! {U32}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:169:1
[INFO] [stdout]     |
[INFO] [stdout] 169 | decl_ddval_convert! {U32}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:169:1
[INFO] [stdout]     |
[INFO] [stdout] 169 | decl_ddval_convert! {U32}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:169:1
[INFO] [stdout]     |
[INFO] [stdout] 169 | decl_ddval_convert! {U32}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:169:1
[INFO] [stdout]     |
[INFO] [stdout] 169 | decl_ddval_convert! {U32}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:169:1
[INFO] [stdout]     |
[INFO] [stdout] 169 | decl_ddval_convert! {U32}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:169:1
[INFO] [stdout]     |
[INFO] [stdout] 169 | decl_ddval_convert! {U32}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:191:1
[INFO] [stdout]     |
[INFO] [stdout] 191 | decl_ddval_convert! {U64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:191:1
[INFO] [stdout]     |
[INFO] [stdout] 191 | decl_ddval_convert! {U64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:191:1
[INFO] [stdout]     |
[INFO] [stdout] 191 | decl_ddval_convert! {U64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:191:1
[INFO] [stdout]     |
[INFO] [stdout] 191 | decl_ddval_convert! {U64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:191:1
[INFO] [stdout]     |
[INFO] [stdout] 191 | decl_ddval_convert! {U64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:191:1
[INFO] [stdout]     |
[INFO] [stdout] 191 | decl_ddval_convert! {U64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:191:1
[INFO] [stdout]     |
[INFO] [stdout] 191 | decl_ddval_convert! {U64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:191:1
[INFO] [stdout]     |
[INFO] [stdout] 191 | decl_ddval_convert! {U64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:191:1
[INFO] [stdout]     |
[INFO] [stdout] 191 | decl_ddval_convert! {U64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:191:1
[INFO] [stdout]     |
[INFO] [stdout] 191 | decl_ddval_convert! {U64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:191:1
[INFO] [stdout]     |
[INFO] [stdout] 191 | decl_ddval_convert! {U64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:213:1
[INFO] [stdout]     |
[INFO] [stdout] 213 | decl_ddval_convert! {I64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:213:1
[INFO] [stdout]     |
[INFO] [stdout] 213 | decl_ddval_convert! {I64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:213:1
[INFO] [stdout]     |
[INFO] [stdout] 213 | decl_ddval_convert! {I64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:213:1
[INFO] [stdout]     |
[INFO] [stdout] 213 | decl_ddval_convert! {I64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:213:1
[INFO] [stdout]     |
[INFO] [stdout] 213 | decl_ddval_convert! {I64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:213:1
[INFO] [stdout]     |
[INFO] [stdout] 213 | decl_ddval_convert! {I64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:213:1
[INFO] [stdout]     |
[INFO] [stdout] 213 | decl_ddval_convert! {I64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:213:1
[INFO] [stdout]     |
[INFO] [stdout] 213 | decl_ddval_convert! {I64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:213:1
[INFO] [stdout]     |
[INFO] [stdout] 213 | decl_ddval_convert! {I64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:213:1
[INFO] [stdout]     |
[INFO] [stdout] 213 | decl_ddval_convert! {I64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:213:1
[INFO] [stdout]     |
[INFO] [stdout] 213 | decl_ddval_convert! {I64}
[INFO] [stdout]     | ------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:235:1
[INFO] [stdout]     |
[INFO] [stdout] 235 | decl_ddval_convert! {BoolTuple}
[INFO] [stdout]     | ------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:235:1
[INFO] [stdout]     |
[INFO] [stdout] 235 | decl_ddval_convert! {BoolTuple}
[INFO] [stdout]     | ------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:235:1
[INFO] [stdout]     |
[INFO] [stdout] 235 | decl_ddval_convert! {BoolTuple}
[INFO] [stdout]     | ------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:235:1
[INFO] [stdout]     |
[INFO] [stdout] 235 | decl_ddval_convert! {BoolTuple}
[INFO] [stdout]     | ------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:235:1
[INFO] [stdout]     |
[INFO] [stdout] 235 | decl_ddval_convert! {BoolTuple}
[INFO] [stdout]     | ------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:235:1
[INFO] [stdout]     |
[INFO] [stdout] 235 | decl_ddval_convert! {BoolTuple}
[INFO] [stdout]     | ------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:235:1
[INFO] [stdout]     |
[INFO] [stdout] 235 | decl_ddval_convert! {BoolTuple}
[INFO] [stdout]     | ------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:235:1
[INFO] [stdout]     |
[INFO] [stdout] 235 | decl_ddval_convert! {BoolTuple}
[INFO] [stdout]     | ------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:235:1
[INFO] [stdout]     |
[INFO] [stdout] 235 | decl_ddval_convert! {BoolTuple}
[INFO] [stdout]     | ------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:235:1
[INFO] [stdout]     |
[INFO] [stdout] 235 | decl_ddval_convert! {BoolTuple}
[INFO] [stdout]     | ------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:235:1
[INFO] [stdout]     |
[INFO] [stdout] 235 | decl_ddval_convert! {BoolTuple}
[INFO] [stdout]     | ------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:257:1
[INFO] [stdout]     |
[INFO] [stdout] 257 | decl_ddval_convert! {Tuple2<U64>}
[INFO] [stdout]     | --------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:257:1
[INFO] [stdout]     |
[INFO] [stdout] 257 | decl_ddval_convert! {Tuple2<U64>}
[INFO] [stdout]     | --------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:257:1
[INFO] [stdout]     |
[INFO] [stdout] 257 | decl_ddval_convert! {Tuple2<U64>}
[INFO] [stdout]     | --------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:257:1
[INFO] [stdout]     |
[INFO] [stdout] 257 | decl_ddval_convert! {Tuple2<U64>}
[INFO] [stdout]     | --------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:257:1
[INFO] [stdout]     |
[INFO] [stdout] 257 | decl_ddval_convert! {Tuple2<U64>}
[INFO] [stdout]     | --------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:257:1
[INFO] [stdout]     |
[INFO] [stdout] 257 | decl_ddval_convert! {Tuple2<U64>}
[INFO] [stdout]     | --------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:257:1
[INFO] [stdout]     |
[INFO] [stdout] 257 | decl_ddval_convert! {Tuple2<U64>}
[INFO] [stdout]     | --------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:257:1
[INFO] [stdout]     |
[INFO] [stdout] 257 | decl_ddval_convert! {Tuple2<U64>}
[INFO] [stdout]     | --------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:257:1
[INFO] [stdout]     |
[INFO] [stdout] 257 | decl_ddval_convert! {Tuple2<U64>}
[INFO] [stdout]     | --------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:257:1
[INFO] [stdout]     |
[INFO] [stdout] 257 | decl_ddval_convert! {Tuple2<U64>}
[INFO] [stdout]     | --------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:257:1
[INFO] [stdout]     |
[INFO] [stdout] 257 | decl_ddval_convert! {Tuple2<U64>}
[INFO] [stdout]     | --------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:260:1
[INFO] [stdout]     |
[INFO] [stdout] 260 | decl_ddval_convert! {Tuple2<String>}
[INFO] [stdout]     | ------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:260:1
[INFO] [stdout]     |
[INFO] [stdout] 260 | decl_ddval_convert! {Tuple2<String>}
[INFO] [stdout]     | ------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:260:1
[INFO] [stdout]     |
[INFO] [stdout] 260 | decl_ddval_convert! {Tuple2<String>}
[INFO] [stdout]     | ------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:260:1
[INFO] [stdout]     |
[INFO] [stdout] 260 | decl_ddval_convert! {Tuple2<String>}
[INFO] [stdout]     | ------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:260:1
[INFO] [stdout]     |
[INFO] [stdout] 260 | decl_ddval_convert! {Tuple2<String>}
[INFO] [stdout]     | ------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:260:1
[INFO] [stdout]     |
[INFO] [stdout] 260 | decl_ddval_convert! {Tuple2<String>}
[INFO] [stdout]     | ------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:260:1
[INFO] [stdout]     |
[INFO] [stdout] 260 | decl_ddval_convert! {Tuple2<String>}
[INFO] [stdout]     | ------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:260:1
[INFO] [stdout]     |
[INFO] [stdout] 260 | decl_ddval_convert! {Tuple2<String>}
[INFO] [stdout]     | ------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:260:1
[INFO] [stdout]     |
[INFO] [stdout] 260 | decl_ddval_convert! {Tuple2<String>}
[INFO] [stdout]     | ------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:260:1
[INFO] [stdout]     |
[INFO] [stdout] 260 | decl_ddval_convert! {Tuple2<String>}
[INFO] [stdout]     | ------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:260:1
[INFO] [stdout]     |
[INFO] [stdout] 260 | decl_ddval_convert! {Tuple2<String>}
[INFO] [stdout]     | ------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:285:1
[INFO] [stdout]     |
[INFO] [stdout] 285 | decl_ddval_convert! {Q}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:285:1
[INFO] [stdout]     |
[INFO] [stdout] 285 | decl_ddval_convert! {Q}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:285:1
[INFO] [stdout]     |
[INFO] [stdout] 285 | decl_ddval_convert! {Q}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:285:1
[INFO] [stdout]     |
[INFO] [stdout] 285 | decl_ddval_convert! {Q}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:285:1
[INFO] [stdout]     |
[INFO] [stdout] 285 | decl_ddval_convert! {Q}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:285:1
[INFO] [stdout]     |
[INFO] [stdout] 285 | decl_ddval_convert! {Q}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:285:1
[INFO] [stdout]     |
[INFO] [stdout] 285 | decl_ddval_convert! {Q}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:285:1
[INFO] [stdout]     |
[INFO] [stdout] 285 | decl_ddval_convert! {Q}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:285:1
[INFO] [stdout]     |
[INFO] [stdout] 285 | decl_ddval_convert! {Q}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:285:1
[INFO] [stdout]     |
[INFO] [stdout] 285 | decl_ddval_convert! {Q}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:285:1
[INFO] [stdout]     |
[INFO] [stdout] 285 | decl_ddval_convert! {Q}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:300:26
[INFO] [stdout]     |
[INFO] [stdout] 300 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:339:1
[INFO] [stdout]     |
[INFO] [stdout] 339 | decl_ddval_convert! {S}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:306:26
[INFO] [stdout]     |
[INFO] [stdout] 306 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:339:1
[INFO] [stdout]     |
[INFO] [stdout] 339 | decl_ddval_convert! {S}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:312:26
[INFO] [stdout]     |
[INFO] [stdout] 312 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:339:1
[INFO] [stdout]     |
[INFO] [stdout] 339 | decl_ddval_convert! {S}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:323:26
[INFO] [stdout]     |
[INFO] [stdout] 323 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:339:1
[INFO] [stdout]     |
[INFO] [stdout] 339 | decl_ddval_convert! {S}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:332:26
[INFO] [stdout]     |
[INFO] [stdout] 332 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:339:1
[INFO] [stdout]     |
[INFO] [stdout] 339 | decl_ddval_convert! {S}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:344:26
[INFO] [stdout]     |
[INFO] [stdout] 344 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:339:1
[INFO] [stdout]     |
[INFO] [stdout] 339 | decl_ddval_convert! {S}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:356:26
[INFO] [stdout]     |
[INFO] [stdout] 356 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:339:1
[INFO] [stdout]     |
[INFO] [stdout] 339 | decl_ddval_convert! {S}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:365:26
[INFO] [stdout]     |
[INFO] [stdout] 365 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:339:1
[INFO] [stdout]     |
[INFO] [stdout] 339 | decl_ddval_convert! {S}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:374:26
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:339:1
[INFO] [stdout]     |
[INFO] [stdout] 339 | decl_ddval_convert! {S}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:395:26
[INFO] [stdout]     |
[INFO] [stdout] 395 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:339:1
[INFO] [stdout]     |
[INFO] [stdout] 339 | decl_ddval_convert! {S}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/differential_datalog/ddval.rs:401:26
[INFO] [stdout]     |
[INFO] [stdout] 401 |                         };
[INFO] [stdout]     |                          ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]    ::: typecheck_ddlog/differential_datalog/test_value.rs:339:1
[INFO] [stdout]     |
[INFO] [stdout] 339 | decl_ddval_convert! {S}
[INFO] [stdout]     | ----------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `decl_ddval_convert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 154 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking types v0.1.0 (/tmp/fixit/typecheck_ddlog/types)
[INFO] [stdout] warning: derive helper attribute is used before it is introduced
[INFO] [stdout]     --> typecheck_ddlog/types/ddlog_std.rs:1845:3
[INFO] [stdout]      |
[INFO] [stdout] 1845 | #[serde(from="::std::option::Option<A>", into="::std::option::Option<A>", bound(serialize="A: Clone+Serialize"))]
[INFO] [stdout]      |   ^^^^^
[INFO] [stdout] 1846 | #[derive(Eq, Ord, Clone, Hash, PartialEq, PartialOrd, Serialize, Deserialize)]
[INFO] [stdout]      |                                                       --------- the attribute is introduced here
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(legacy_derive_helpers)]` on by default
[INFO] [stdout]      = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]      = note: for more information, see issue #79202 <https://github.com/rust-lang/rust/issues/79202>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary trailing semicolon
[INFO] [stdout]    --> typecheck_ddlog/types/closure.rs:206:18
[INFO] [stdout]     |
[INFO] [stdout] 206 |                 };
[INFO] [stdout]     |                  ^ help: remove this semicolon
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(redundant_semicolons)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking value v0.1.0 (/tmp/fixit/typecheck_ddlog/value)
[INFO] [stdout] error[E0432]: unresolved import `self::__lalrpop_util::lexer`
[INFO] [stdout]   --> /opt/rustwide/target/debug/build/nectarine-9a70469920de3a16/out/grammar.rs:18:31
[INFO] [stdout]    |
[INFO] [stdout] 18 |     use self::__lalrpop_util::lexer::Token;
[INFO] [stdout]    |                               ^^^^^ could not find `lexer` in `__lalrpop_util`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `self::__lalrpop_util::lexer`
[INFO] [stdout]     --> /opt/rustwide/target/debug/build/nectarine-9a70469920de3a16/out/grammar.rs:1894:31
[INFO] [stdout]      |
[INFO] [stdout] 1894 | pub use self::__lalrpop_util::lexer::Token;
[INFO] [stdout]      |                               ^^^^^ could not find `lexer` in `__lalrpop_util`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `self::__lalrpop_util::lexer`
[INFO] [stdout]   --> /opt/rustwide/target/debug/build/nectarine-9a70469920de3a16/out/grammar.rs:18:31
[INFO] [stdout]    |
[INFO] [stdout] 18 |     use self::__lalrpop_util::lexer::Token;
[INFO] [stdout]    |                               ^^^^^ could not find `lexer` in `__lalrpop_util`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `self::__lalrpop_util::lexer`
[INFO] [stdout]     --> /opt/rustwide/target/debug/build/nectarine-9a70469920de3a16/out/grammar.rs:1894:31
[INFO] [stdout]      |
[INFO] [stdout] 1894 | pub use self::__lalrpop_util::lexer::Token;
[INFO] [stdout]      |                               ^^^^^ could not find `lexer` in `__lalrpop_util`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: could not find `lexer` in `__lalrpop_util`
[INFO] [stdout]    --> /opt/rustwide/target/debug/build/nectarine-9a70469920de3a16/out/grammar.rs:542:34
[INFO] [stdout]     |
[INFO] [stdout] 542 |         builder: __lalrpop_util::lexer::MatcherBuilder,
[INFO] [stdout]     |                                  ^^^^^ could not find `lexer` in `__lalrpop_util`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: could not find `lexer` in `__lalrpop_util`
[INFO] [stdout]     --> /opt/rustwide/target/debug/build/nectarine-9a70469920de3a16/out/grammar.rs:1870:45
[INFO] [stdout]      |
[INFO] [stdout] 1870 |     pub fn new_builder() -> __lalrpop_util::lexer::MatcherBuilder {
[INFO] [stdout]      |                                             ^^^^^ could not find `lexer` in `__lalrpop_util`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: could not find `lexer` in `__lalrpop_util`
[INFO] [stdout]    --> /opt/rustwide/target/debug/build/nectarine-9a70469920de3a16/out/grammar.rs:542:34
[INFO] [stdout]     |
[INFO] [stdout] 542 |         builder: __lalrpop_util::lexer::MatcherBuilder,
[INFO] [stdout]     |                                  ^^^^^ could not find `lexer` in `__lalrpop_util`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: could not find `lexer` in `__lalrpop_util`
[INFO] [stdout]     --> /opt/rustwide/target/debug/build/nectarine-9a70469920de3a16/out/grammar.rs:1870:45
[INFO] [stdout]      |
[INFO] [stdout] 1870 |     pub fn new_builder() -> __lalrpop_util::lexer::MatcherBuilder {
[INFO] [stdout]      |                                             ^^^^^ could not find `lexer` in `__lalrpop_util`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: could not find `lexer` in `__lalrpop_util`
[INFO] [stdout]     --> /opt/rustwide/target/debug/build/nectarine-9a70469920de3a16/out/grammar.rs:1891:25
[INFO] [stdout]      |
[INFO] [stdout] 1891 |         __lalrpop_util::lexer::MatcherBuilder::new(__strs.iter().copied()).unwrap()
[INFO] [stdout]      |                         ^^^^^ could not find `lexer` in `__lalrpop_util`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: could not find `lexer` in `__lalrpop_util`
[INFO] [stdout]     --> /opt/rustwide/target/debug/build/nectarine-9a70469920de3a16/out/grammar.rs:1891:25
[INFO] [stdout]      |
[INFO] [stdout] 1891 |         __lalrpop_util::lexer::MatcherBuilder::new(__strs.iter().copied()).unwrap()
[INFO] [stdout]      |                         ^^^^^ could not find `lexer` in `__lalrpop_util`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 5 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `nectarine` due to 6 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error: aborting due to 5 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: build failed
[INFO] [stderr] error: failed to check after updating to 2021
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `cargo check --frozen --all --all-targets --message-format=json` (exit status: 101)
[INFO] running `Command { std: "docker" "inspect" "7bb420bb9d8e41100ccbc31001fb61811fd88618bc6e0fe0156b5b29d1373374", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7bb420bb9d8e41100ccbc31001fb61811fd88618bc6e0fe0156b5b29d1373374", kill_on_drop: false }`
[INFO] [stdout] 7bb420bb9d8e41100ccbc31001fb61811fd88618bc6e0fe0156b5b29d1373374