[INFO] fetching crate varisat-formula 0.2.1...
[INFO] extracting crate varisat-formula 0.2.1 into work/ex/pr-62008/sources/master#848e0a23f34aaab3e4a974b031c86ef2a4e4fcc1/reg/varisat-formula/0.2.1
[INFO] extracting crate varisat-formula 0.2.1 into work/ex/pr-62008/sources/try#8f81d0bf6baf07b92f1246696722485c4ca0b049/reg/varisat-formula/0.2.1
[INFO] validating manifest of varisat-formula-0.2.1 on toolchain master#848e0a23f34aaab3e4a974b031c86ef2a4e4fcc1
[INFO] running `"/mnt/big/ec2-user/crater/work/local/cargo-home/bin/cargo" "+848e0a23f34aaab3e4a974b031c86ef2a4e4fcc1-alt" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] validating manifest of varisat-formula-0.2.1 on toolchain try#8f81d0bf6baf07b92f1246696722485c4ca0b049
[INFO] running `"/mnt/big/ec2-user/crater/work/local/cargo-home/bin/cargo" "+8f81d0bf6baf07b92f1246696722485c4ca0b049-alt" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started frobbing varisat-formula-0.2.1
[INFO] finished frobbing varisat-formula-0.2.1
[INFO] frobbed toml for varisat-formula-0.2.1 written to work/ex/pr-62008/sources/master#848e0a23f34aaab3e4a974b031c86ef2a4e4fcc1/reg/varisat-formula/0.2.1/Cargo.toml
[INFO] started frobbing varisat-formula-0.2.1
[INFO] finished frobbing varisat-formula-0.2.1
[INFO] frobbed toml for varisat-formula-0.2.1 written to work/ex/pr-62008/sources/try#8f81d0bf6baf07b92f1246696722485c4ca0b049/reg/varisat-formula/0.2.1/Cargo.toml
[INFO] running `"/mnt/big/ec2-user/crater/work/local/cargo-home/bin/cargo" "+848e0a23f34aaab3e4a974b031c86ef2a4e4fcc1-alt" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/mnt/big/ec2-user/crater/work/local/cargo-home/bin/cargo" "+8f81d0bf6baf07b92f1246696722485c4ca0b049-alt" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/mnt/big/ec2-user/crater/work/local/cargo-home/bin/cargo" "+848e0a23f34aaab3e4a974b031c86ef2a4e4fcc1-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"/mnt/big/ec2-user/crater/work/local/cargo-home/bin/cargo" "+8f81d0bf6baf07b92f1246696722485c4ca0b049-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] checking varisat-formula-0.2.1 against try#8f81d0bf6baf07b92f1246696722485c4ca0b049 for pr-62008
[INFO] running `"docker" "create" "-v" "/mnt/big/ec2-user/crater/work/local/target-dirs/pr-62008/worker-6/try#8f81d0bf6baf07b92f1246696722485c4ca0b049:/opt/crater/target:rw,Z" "-v" "/mnt/big/ec2-user/crater/work/ex/pr-62008/sources/try#8f81d0bf6baf07b92f1246696722485c4ca0b049/reg/varisat-formula/0.2.1:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/ec2-user/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/ec2-user/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+8f81d0bf6baf07b92f1246696722485c4ca0b049-alt" "check" "--frozen" "--all" "--all-targets"`
[INFO] [stdout] c6f85c966583efc0a2f11ffc2a094a494131a7860e01e7bf496ca6efe59f150b
[INFO] running `"docker" "start" "-a" "c6f85c966583efc0a2f11ffc2a094a494131a7860e01e7bf496ca6efe59f150b"`
[INFO] [stderr]     Checking varisat-formula v0.2.1 (/opt/crater/workdir)
[INFO] [stderr]     Checking proptest v0.9.4
[INFO] [stderr] error: meta-variable repeats with different Kleene operator
[INFO] [stderr]    --> <::proptest::sugar::proptest_helper macros>:111:38
[INFO] [stderr]     |
[INFO] [stderr] 106 | @ _BODY $ config : ident ( $ ( $ parm : pat in $ strategy : expr ) , + ) [
[INFO] [stderr]     |                                                                      - expected repetition
[INFO] [stderr] ...
[INFO] [stderr] 111 | proptest_helper ! ( @ _WRAPSTR ( $ ( $ parm ) , * ) ) ; match runner . run (
[INFO] [stderr]     |                                      ^^^^^^     - conflicting repetition
[INFO] [stderr]     |
[INFO] [stderr]     = note: #[deny(meta_variable_misuse)] on by default
[INFO] [stderr] 
[INFO] [stderr] error: meta-variable repeats with different Kleene operator
[INFO] [stderr]    --> <::proptest::sugar::proptest_helper macros>:113:46
[INFO] [stderr]     |
[INFO] [stderr] 106 | @ _BODY $ config : ident ( $ ( $ parm : pat in $ strategy : expr ) , + ) [
[INFO] [stderr]     |                                                                      - expected repetition
[INFO] [stderr] ...
[INFO] [stderr] 113 | $ crate :: proptest_helper ! ( @ _WRAP ( $ ( $ strategy ) * ) ) , | values | $
[INFO] [stderr]     |                                              ^^^^^^^^^^   - conflicting repetition
[INFO] [stderr] 
[INFO] [stderr] error: meta-variable repeats with different Kleene operator
[INFO] [stderr]    --> <::proptest::sugar::proptest_helper macros>:116:53
[INFO] [stderr]     |
[INFO] [stderr] 106 | @ _BODY $ config : ident ( $ ( $ parm : pat in $ strategy : expr ) , + ) [
[INFO] [stderr]     |                                                                      - expected repetition
[INFO] [stderr] ...
[INFO] [stderr] 116 | _ , $ crate :: proptest_helper ! ( @ _WRAPPAT ( $ ( $ parm ) , * ) ) ) | {
[INFO] [stderr]     |                                                     ^^^^^^     - conflicting repetition
[INFO] [stderr] 
[INFO] [stderr] error: meta-variable repeats with different Kleene operator
[INFO] [stderr]    --> <::proptest::sugar::proptest_helper macros>:124:39
[INFO] [stderr]     |
[INFO] [stderr] 119 | @ _BODY2 $ config : ident ( $ ( $ arg : tt ) + ) [ $ ( $ mod : tt ) * ] $ body
[INFO] [stderr]     |                                              - expected repetition
[INFO] [stderr] ...
[INFO] [stderr] 124 | proptest_helper ! ( @ _EXT _STR ( $ ( $ arg ) * ) ) ; match runner . run (
[INFO] [stderr]     |                                       ^^^^^   - conflicting repetition
[INFO] [stderr] 
[INFO] [stderr] error: meta-variable repeats with different Kleene operator
[INFO] [stderr]    --> <::proptest::sugar::proptest_helper macros>:126:52
[INFO] [stderr]     |
[INFO] [stderr] 119 | @ _BODY2 $ config : ident ( $ ( $ arg : tt ) + ) [ $ ( $ mod : tt ) * ] $ body
[INFO] [stderr]     |                                              - expected repetition
[INFO] [stderr] ...
[INFO] [stderr] 126 | $ crate :: proptest_helper ! ( @ _EXT _STRAT ( $ ( $ arg ) * ) ) , | values |
[INFO] [stderr]     |                                                    ^^^^^   - conflicting repetition
[INFO] [stderr] 
[INFO] [stderr] error: meta-variable repeats with different Kleene operator
[INFO] [stderr]    --> <::proptest::sugar::proptest_helper macros>:129:54
[INFO] [stderr]     |
[INFO] [stderr] 119 | @ _BODY2 $ config : ident ( $ ( $ arg : tt ) + ) [ $ ( $ mod : tt ) * ] $ body
[INFO] [stderr]     |                                              - expected repetition
[INFO] [stderr] ...
[INFO] [stderr] 129 | _ , $ crate :: proptest_helper ! ( @ _EXT _PAT ( $ ( $ arg ) * ) ) ) | {
[INFO] [stderr]     |                                                      ^^^^^   - conflicting repetition
[INFO] [stderr] 
[INFO] [stderr] error: aborting due to 6 previous errors
[INFO] [stderr] 
[INFO] [stderr] error: Could not compile `varisat-formula`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] running `"docker" "inspect" "c6f85c966583efc0a2f11ffc2a094a494131a7860e01e7bf496ca6efe59f150b"`
[INFO] running `"docker" "rm" "-f" "c6f85c966583efc0a2f11ffc2a094a494131a7860e01e7bf496ca6efe59f150b"`
[INFO] [stdout] c6f85c966583efc0a2f11ffc2a094a494131a7860e01e7bf496ca6efe59f150b