[INFO] crate un_algebra 0.1.6 is already in cache
[INFO] extracting crate un_algebra 0.1.6 into work/ex/pr-59199/sources/master#bc44841ad2a2ad5f6c5e67b9e35ed8e7e71d4dc7/reg/un_algebra/0.1.6
[INFO] extracting crate un_algebra 0.1.6 into work/ex/pr-59199/sources/try#68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b/reg/un_algebra/0.1.6
[INFO] validating manifest of un_algebra-0.1.6 on toolchain master#bc44841ad2a2ad5f6c5e67b9e35ed8e7e71d4dc7
[INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+bc44841ad2a2ad5f6c5e67b9e35ed8e7e71d4dc7-alt" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] validating manifest of un_algebra-0.1.6 on toolchain try#68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b
[INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b-alt" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started frobbing un_algebra-0.1.6
[INFO] finished frobbing un_algebra-0.1.6
[INFO] frobbed toml for un_algebra-0.1.6 written to work/ex/pr-59199/sources/master#bc44841ad2a2ad5f6c5e67b9e35ed8e7e71d4dc7/reg/un_algebra/0.1.6/Cargo.toml
[INFO] started frobbing un_algebra-0.1.6
[INFO] finished frobbing un_algebra-0.1.6
[INFO] frobbed toml for un_algebra-0.1.6 written to work/ex/pr-59199/sources/try#68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b/reg/un_algebra/0.1.6/Cargo.toml
[INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+bc44841ad2a2ad5f6c5e67b9e35ed8e7e71d4dc7-alt" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b-alt" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+bc44841ad2a2ad5f6c5e67b9e35ed8e7e71d4dc7-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] checking un_algebra-0.1.6 against try#68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b for pr-59199
[INFO] running `"docker" "create" "-v" "/mnt/crater-raid/crater/work/local/target-dirs/pr-59199/worker-3/try#68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b:/opt/crater/target:rw,Z" "-v" "/mnt/crater-raid/crater/work/ex/pr-59199/sources/try#68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b/reg/un_algebra/0.1.6:/opt/crater/workdir:ro,Z" "-v" "/mnt/crater-raid/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/crater-raid/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" "+68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b-alt" "check" "--frozen" "--all" "--all-targets"`
[INFO] [stdout] 86bfa9f500b70fd0f1f654f131a4e22df2d726a5dd502cd073ab6504e3df8089
[INFO] running `"docker" "start" "-a" "86bfa9f500b70fd0f1f654f131a4e22df2d726a5dd502cd073ab6504e3df8089"`
[INFO] [stderr]     Checking float-cmp v0.4.0
[INFO] [stderr]     Checking un_algebra v0.1.6 (/opt/crater/workdir)
[INFO] [stderr] warning: unused `#[macro_use]` import
[INFO] [stderr]    --> src/lib.rs:166:1
[INFO] [stderr]     |
[INFO] [stderr] 166 | #[macro_use]
[INFO] [stderr]     | ^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: #[warn(unused_imports)] on by default
[INFO] [stderr] 
[INFO] [stderr] warning: crate `D3` should have a snake case name
[INFO] [stderr]   |
[INFO] [stderr]   = note: #[warn(non_snake_case)] on by default
[INFO] [stderr]   = help: convert the identifier to snake case: `d3`
[INFO] [stderr] 
[INFO] [stderr] warning: crate `SZ3` should have a snake case name
[INFO] [stderr]   |
[INFO] [stderr]   = note: #[warn(non_snake_case)] on by default
[INFO] [stderr]   = help: convert the identifier to snake case: `sz3`
[INFO] [stderr] 
[INFO] [stderr] warning: crate `RPS` should have a snake case name
[INFO] [stderr]   |
[INFO] [stderr]   = note: #[warn(non_snake_case)] on by default
[INFO] [stderr]   = help: convert the identifier to snake case: `rps`
[INFO] [stderr] 
[INFO] [stderr] warning: crate `F4` should have a snake case name
[INFO] [stderr]   |
[INFO] [stderr]   = note: #[warn(non_snake_case)] on by default
[INFO] [stderr]   = help: convert the identifier to snake case: `f4`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_add_closure_u64_T1` should have a snake case name
[INFO] [stderr]   --> src/magma/add_magma_test.rs:20:6
[INFO] [stderr]    |
[INFO] [stderr] 20 |   fn axiom_add_closure_u64_T1((x, y) in any::<Two<u64>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_add_closure_u64_t1`
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(non_snake_case)] on by default
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_add_closure_u8_T2` should have a snake case name
[INFO] [stderr]   --> src/magma/add_magma_test.rs:26:6
[INFO] [stderr]    |
[INFO] [stderr] 26 |   fn axiom_add_closure_u8_T2((w, x, y, z) in any::<Four<u8>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_add_closure_u8_t2`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_add_closure_isize_T3` should have a snake case name
[INFO] [stderr]   --> src/magma/add_magma_test.rs:38:6
[INFO] [stderr]    |
[INFO] [stderr] 38 |   fn axiom_add_closure_isize_T3((u, v, w, x, y, z) in any::<Six<isize>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_add_closure_isize_t3`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_add_closure_f64_T1` should have a snake case name
[INFO] [stderr]   --> src/magma/add_magma_test.rs:50:6
[INFO] [stderr]    |
[INFO] [stderr] 50 |   fn axiom_add_closure_f64_T1((x, y) in any::<Two<f64>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_add_closure_f64_t1`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_add_closure_f32_T2` should have a snake case name
[INFO] [stderr]   --> src/magma/add_magma_test.rs:56:6
[INFO] [stderr]    |
[INFO] [stderr] 56 |   fn axiom_add_closure_f32_T2((w, x, y, z) in any::<Four<f32>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_add_closure_f32_t2`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_mul_closure_u64_T1` should have a snake case name
[INFO] [stderr]   --> src/magma/mul_magma_test.rs:21:6
[INFO] [stderr]    |
[INFO] [stderr] 21 |   fn axiom_mul_closure_u64_T1((x, y) in any::<Two<u64>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_mul_closure_u64_t1`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_mul_closure_u8_T2` should have a snake case name
[INFO] [stderr]   --> src/magma/mul_magma_test.rs:27:6
[INFO] [stderr]    |
[INFO] [stderr] 27 |   fn axiom_mul_closure_u8_T2((w, x, y, z) in any::<Four<u8>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_mul_closure_u8_t2`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_mul_closure_isize_T3` should have a snake case name
[INFO] [stderr]   --> src/magma/mul_magma_test.rs:39:6
[INFO] [stderr]    |
[INFO] [stderr] 39 |   fn axiom_mul_closure_isize_T3((u, v, w, x, y, z) in any::<Six<isize>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_mul_closure_isize_t3`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_mul_closure_f64_T1` should have a snake case name
[INFO] [stderr]   --> src/magma/mul_magma_test.rs:51:6
[INFO] [stderr]    |
[INFO] [stderr] 51 |   fn axiom_mul_closure_f64_T1((x, y) in any::<Two<f64>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_mul_closure_f64_t1`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_mul_closure_f32_T2` should have a snake case name
[INFO] [stderr]   --> src/magma/mul_magma_test.rs:57:6
[INFO] [stderr]    |
[INFO] [stderr] 57 |   fn axiom_mul_closure_f32_T2((w, x, y, z) in any::<Four<f32>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_mul_closure_f32_t2`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_left_under_f32_T1` should have a snake case name
[INFO] [stderr]   --> src/quasigroup/quasigroup_test.rs:67:6
[INFO] [stderr]    |
[INFO] [stderr] 67 |   fn axiom_left_under_f32_T1((x, y) in any::<Two<f32>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_left_under_f32_t1`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_right_under_f64_T2` should have a snake case name
[INFO] [stderr]   --> src/quasigroup/quasigroup_test.rs:74:6
[INFO] [stderr]    |
[INFO] [stderr] 74 |   fn axiom_right_under_f64_T2((x, y, w, z) in any::<Four<f64>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_right_under_f64_t2`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_left_over_f32_T3` should have a snake case name
[INFO] [stderr]   --> src/quasigroup/quasigroup_test.rs:81:6
[INFO] [stderr]    |
[INFO] [stderr] 81 |   fn axiom_left_over_f32_T3((u, v, w, x, y, z) in any::<Six<f32>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_left_over_f32_t3`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_add_associativity_u64_T2` should have a snake case name
[INFO] [stderr]   --> src/semigroup/add_semigroup_test.rs:20:6
[INFO] [stderr]    |
[INFO] [stderr] 20 |   fn axiom_add_associativity_u64_T2((x, y, z) in any::<Three<u64>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_add_associativity_u64_t2`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_add_associativity_T2` should have a snake case name
[INFO] [stderr]   --> src/semigroup/add_semigroup_test.rs:32:6
[INFO] [stderr]    |
[INFO] [stderr] 32 |   fn axiom_add_associativity_T2((u, v, w, x, y, z) in any::<Six<isize>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_add_associativity_t2`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_add_associativity_f32_T2` should have a snake case name
[INFO] [stderr]   --> src/semigroup/add_semigroup_test.rs:44:6
[INFO] [stderr]    |
[INFO] [stderr] 44 |   fn axiom_add_associativity_f32_T2((u, v, w, x, y, z) in any::<Six<f32>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_add_associativity_f32_t2`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_mul_associativity_u32_T2` should have a snake case name
[INFO] [stderr]   --> src/semigroup/mul_semigroup_test.rs:21:6
[INFO] [stderr]    |
[INFO] [stderr] 21 |   fn axiom_mul_associativity_u32_T2((x, y, z) in any::<Three<u32>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_mul_associativity_u32_t2`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_mul_associativity_i32_T2` should have a snake case name
[INFO] [stderr]   --> src/semigroup/mul_semigroup_test.rs:33:6
[INFO] [stderr]    |
[INFO] [stderr] 33 |   fn axiom_mul_associativity_i32_T2((u, v, w, x, y, z) in any::<Six<i32>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_mul_associativity_i32_t2`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_mul_associativity_f64_T2` should have a snake case name
[INFO] [stderr]   --> src/semigroup/mul_semigroup_test.rs:45:6
[INFO] [stderr]    |
[INFO] [stderr] 45 |   fn axiom_mul_associativity_f64_T2((u, v, w, x, y, z) in any::<Six<f64>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_mul_associativity_f64_t2`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_left_add_identity_u16_T1` should have a snake case name
[INFO] [stderr]   --> src/monoid/add_monoid_test.rs:20:6
[INFO] [stderr]    |
[INFO] [stderr] 20 |   fn axiom_left_add_identity_u16_T1(x in any::<u16>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_left_add_identity_u16_t1`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_left_add_identity_i32_T2` should have a snake case name
[INFO] [stderr]   --> src/monoid/add_monoid_test.rs:32:6
[INFO] [stderr]    |
[INFO] [stderr] 32 |   fn axiom_left_add_identity_i32_T2(xs in any::<Two<i32>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_left_add_identity_i32_t2`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_right_add_identity_u8_T1` should have a snake case name
[INFO] [stderr]   --> src/monoid/add_monoid_test.rs:50:6
[INFO] [stderr]    |
[INFO] [stderr] 50 |   fn axiom_right_add_identity_u8_T1(x in any::<u8>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_right_add_identity_u8_t1`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_right_add_identity_i32_T3` should have a snake case name
[INFO] [stderr]   --> src/monoid/add_monoid_test.rs:62:6
[INFO] [stderr]    |
[INFO] [stderr] 62 |   fn axiom_right_add_identity_i32_T3(xs in any::<Three<i32>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_right_add_identity_i32_t3`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_right_add_identity_f32_T3` should have a snake case name
[INFO] [stderr]   --> src/monoid/add_monoid_test.rs:74:6
[INFO] [stderr]    |
[INFO] [stderr] 74 |   fn axiom_right_add_identity_f32_T3(xs in any::<Three<f32>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_right_add_identity_f32_t3`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_left_mul_identity_u16_T1` should have a snake case name
[INFO] [stderr]   --> src/monoid/mul_monoid_test.rs:21:6
[INFO] [stderr]    |
[INFO] [stderr] 21 |   fn axiom_left_mul_identity_u16_T1(x in any::<u16>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_left_mul_identity_u16_t1`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_left_mul_identity_i32_T2` should have a snake case name
[INFO] [stderr]   --> src/monoid/mul_monoid_test.rs:33:6
[INFO] [stderr]    |
[INFO] [stderr] 33 |   fn axiom_left_mul_identity_i32_T2(xs in any::<Two<i32>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_left_mul_identity_i32_t2`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_right_mul_identity_u8_T1` should have a snake case name
[INFO] [stderr]   --> src/monoid/mul_monoid_test.rs:45:6
[INFO] [stderr]    |
[INFO] [stderr] 45 |   fn axiom_right_mul_identity_u8_T1(x in any::<u8>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_right_mul_identity_u8_t1`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_right_mul_identity_f32_T3` should have a snake case name
[INFO] [stderr]   --> src/monoid/mul_monoid_test.rs:69:6
[INFO] [stderr]    |
[INFO] [stderr] 69 |   fn axiom_right_mul_identity_f32_T3(xs in any::<Three<f32>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_right_mul_identity_f32_t3`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_left_negate_i16_T1` should have a snake case name
[INFO] [stderr]   --> src/group/add_group_test.rs:20:6
[INFO] [stderr]    |
[INFO] [stderr] 20 |   fn axiom_left_negate_i16_T1(x in any::<i16>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_left_negate_i16_t1`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_right_negate_isize_T2` should have a snake case name
[INFO] [stderr]   --> src/group/add_group_test.rs:38:6
[INFO] [stderr]    |
[INFO] [stderr] 38 |   fn axiom_right_negate_isize_T2(xs in any::<Two<isize>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_right_negate_isize_t2`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_right_negate_f64_T3` should have a snake case name
[INFO] [stderr]   --> src/group/add_group_test.rs:50:6
[INFO] [stderr]    |
[INFO] [stderr] 50 |   fn axiom_right_negate_f64_T3(xs in any::<Three<f64>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_right_negate_f64_t3`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_left_invert_f64_T1` should have a snake case name
[INFO] [stderr]   --> src/group/mul_group_test.rs:25:6
[INFO] [stderr]    |
[INFO] [stderr] 25 |   fn axiom_left_invert_f64_T1(x in any::<f64>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_left_invert_f64_t1`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_right_invert_f32_T3` should have a snake case name
[INFO] [stderr]   --> src/group/mul_group_test.rs:41:6
[INFO] [stderr]    |
[INFO] [stderr] 41 |   fn axiom_right_invert_f32_T3(xs in any::<Three<f32>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_right_invert_f32_t3`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_add_commutivity_i16_T2` should have a snake case name
[INFO] [stderr]   --> src/com_group/add_com_group_test.rs:21:6
[INFO] [stderr]    |
[INFO] [stderr] 21 |   fn axiom_add_commutivity_i16_T2((w, x, y, z) in any::<Four<i16>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_add_commutivity_i16_t2`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_add_commutivity_f32_T3` should have a snake case name
[INFO] [stderr]   --> src/com_group/add_com_group_test.rs:33:6
[INFO] [stderr]    |
[INFO] [stderr] 33 |   fn axiom_add_commutivity_f32_T3((u, v, w, x, y, z) in any::<Six<f32>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_add_commutivity_f32_t3`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_mul_commutivity_f64_T3` should have a snake case name
[INFO] [stderr]   --> src/com_group/mul_com_group_test.rs:22:6
[INFO] [stderr]    |
[INFO] [stderr] 22 |   fn axiom_mul_commutivity_f64_T3((u, v, w, x, y, z) in any::<Six<f64>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_mul_commutivity_f64_t3`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_left_distributivity_i8_T1` should have a snake case name
[INFO] [stderr]   --> src/ring/ring_test.rs:20:6
[INFO] [stderr]    |
[INFO] [stderr] 20 |   fn axiom_left_distributivity_i8_T1((x, y, z) in any::<Three<i8>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_left_distributivity_i8_t1`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_right_distributivity_i64_T2` should have a snake case name
[INFO] [stderr]   --> src/ring/ring_test.rs:38:6
[INFO] [stderr]    |
[INFO] [stderr] 38 |   fn axiom_right_distributivity_i64_T2((u, v, w, x, y, z) in any::<Six<i64>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_right_distributivity_i64_t2`
[INFO] [stderr] 
[INFO] [stderr] warning: function `prop_left_zero_absorb_f64_T3` should have a snake case name
[INFO] [stderr]   --> src/ring/ring_test.rs:62:6
[INFO] [stderr]    |
[INFO] [stderr] 62 |   fn prop_left_zero_absorb_f64_T3(xs in any::<Three<f64>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `prop_left_zero_absorb_f64_t3`
[INFO] [stderr] 
[INFO] [stderr] warning: function `prop_right_zero_absorb_i16_T2` should have a snake case name
[INFO] [stderr]   --> src/ring/ring_test.rs:74:6
[INFO] [stderr]    |
[INFO] [stderr] 74 |   fn prop_right_zero_absorb_i16_T2((x, y) in any::<Two<i16>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `prop_right_zero_absorb_i16_t2`
[INFO] [stderr] 
[INFO] [stderr] warning: function `prop_left_mul_negate_i32_T2` should have a snake case name
[INFO] [stderr]   --> src/ring/ring_test.rs:92:6
[INFO] [stderr]    |
[INFO] [stderr] 92 |   fn prop_left_mul_negate_i32_T2((w, x, y, z) in any::<Four<i32>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `prop_left_mul_negate_i32_t2`
[INFO] [stderr] 
[INFO] [stderr] warning: function `prop_left_mul_negate_f64_T1` should have a snake case name
[INFO] [stderr]    --> src/ring/ring_test.rs:104:6
[INFO] [stderr]     |
[INFO] [stderr] 104 |   fn prop_left_mul_negate_f64_T1((x, y) in any::<Two<f64>>()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `prop_left_mul_negate_f64_t1`
[INFO] [stderr] 
[INFO] [stderr] warning: function `prop_right_mul_negate_i8_T3` should have a snake case name
[INFO] [stderr]    --> src/ring/ring_test.rs:116:6
[INFO] [stderr]     |
[INFO] [stderr] 116 |   fn prop_right_mul_negate_i8_T3((u, v, w, x, y, z) in any::<Six<i8>>()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `prop_right_mul_negate_i8_t3`
[INFO] [stderr] 
[INFO] [stderr] warning: function `prop_mul_negate_i32_T2` should have a snake case name
[INFO] [stderr]    --> src/ring/ring_test.rs:134:6
[INFO] [stderr]     |
[INFO] [stderr] 134 |   fn prop_mul_negate_i32_T2((w, x, y, z) in any::<Four<i32>>()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `prop_mul_negate_i32_t2`
[INFO] [stderr] 
[INFO] [stderr] warning: function `prop_left_one_negate_f64_T3` should have a snake case name
[INFO] [stderr]    --> src/ring/ring_test.rs:158:6
[INFO] [stderr]     |
[INFO] [stderr] 158 |   fn prop_left_one_negate_f64_T3(xs in any::<Three<f64>>()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `prop_left_one_negate_f64_t3`
[INFO] [stderr] 
[INFO] [stderr] warning: function `prop_right_one_negate_i16_T2` should have a snake case name
[INFO] [stderr]    --> src/ring/ring_test.rs:170:6
[INFO] [stderr]     |
[INFO] [stderr] 170 |   fn prop_right_one_negate_i16_T2(xs in any::<Two<i16>>()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `prop_right_one_negate_i16_t2`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_mul_commutivity_i16_T2` should have a snake case name
[INFO] [stderr]   --> src/com_ring/com_ring_test.rs:20:6
[INFO] [stderr]    |
[INFO] [stderr] 20 |   fn axiom_mul_commutivity_i16_T2((w, x, y, z) in any::<Four<i16>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_mul_commutivity_i16_t2`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_mul_commutivity_f64_T3` should have a snake case name
[INFO] [stderr]   --> src/com_ring/com_ring_test.rs:32:6
[INFO] [stderr]    |
[INFO] [stderr] 32 |   fn axiom_mul_commutivity_f64_T3((u, v, w, x, y, z) in any::<Six<f64>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_mul_commutivity_f64_t3`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_left_invert_f64_T1` should have a snake case name
[INFO] [stderr]   --> src/field/field_test.rs:22:6
[INFO] [stderr]    |
[INFO] [stderr] 22 |   fn axiom_left_invert_f64_T1(x in any::<f64>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_left_invert_f64_t1`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_left_invert_f32_T2` should have a snake case name
[INFO] [stderr]   --> src/field/field_test.rs:38:6
[INFO] [stderr]    |
[INFO] [stderr] 38 |   fn axiom_left_invert_f32_T2(xs in any::<Two<f32>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_left_invert_f32_t2`
[INFO] [stderr] 
[INFO] [stderr] warning: function `prop_mul_zero_f64_T3` should have a snake case name
[INFO] [stderr]   --> src/field/field_test.rs:52:6
[INFO] [stderr]    |
[INFO] [stderr] 52 |   fn prop_mul_zero_f64_T3((u, v, w, x, y, z) in any::<Six<f64>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `prop_mul_zero_f64_t3`
[INFO] [stderr] 
[INFO] [stderr] warning: function `prop_add_cancel_f32_T2` should have a snake case name
[INFO] [stderr]   --> src/field/field_test.rs:64:6
[INFO] [stderr]    |
[INFO] [stderr] 64 |   fn prop_add_cancel_f32_T2((u, v, w, x, y, z) in any::<Six<f64>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `prop_add_cancel_f32_t2`
[INFO] [stderr] 
[INFO] [stderr] warning: function `prop_mul_cancel_f64_T1` should have a snake case name
[INFO] [stderr]   --> src/field/field_test.rs:76:6
[INFO] [stderr]    |
[INFO] [stderr] 76 |   fn prop_mul_cancel_f64_T1((x, y, z) in any::<Three<f32>>()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `prop_mul_cancel_f64_t1`
[INFO] [stderr] 
[INFO] [stderr] warning: function `C32_1` should have a snake case name
[INFO] [stderr]   --> src/complex/complex_test.rs:25:6
[INFO] [stderr]    |
[INFO] [stderr] 25 |   fn C32_1()((x, y) in any::<Two<f32>>()) -> Complex<f32> {
[INFO] [stderr]    |      ^^^^^ help: convert the identifier to snake case: `c32_1`
[INFO] [stderr] 
[INFO] [stderr] warning: function `C32_2` should have a snake case name
[INFO] [stderr]   --> src/complex/complex_test.rs:34:6
[INFO] [stderr]    |
[INFO] [stderr] 34 |   fn C32_2()(xs in (C32_1(), C32_1())) -> Two<Complex<f32>> {
[INFO] [stderr]    |      ^^^^^ help: convert the identifier to snake case: `c32_2`
[INFO] [stderr] 
[INFO] [stderr] warning: function `C32_3` should have a snake case name
[INFO] [stderr]   --> src/complex/complex_test.rs:43:6
[INFO] [stderr]    |
[INFO] [stderr] 43 |   fn C32_3()(xs in (C32_1(), C32_1(), C32_1())) -> Three<Complex<f32>> {
[INFO] [stderr]    |      ^^^^^ help: convert the identifier to snake case: `c32_3`
[INFO] [stderr] 
[INFO] [stderr] warning: function `C64_1` should have a snake case name
[INFO] [stderr]   --> src/complex/complex_test.rs:52:6
[INFO] [stderr]    |
[INFO] [stderr] 52 |   fn C64_1()((x, y) in any::<Two<f64>>()) -> Complex<f64> {
[INFO] [stderr]    |      ^^^^^ help: convert the identifier to snake case: `c64_1`
[INFO] [stderr] 
[INFO] [stderr] warning: function `C64_2` should have a snake case name
[INFO] [stderr]   --> src/complex/complex_test.rs:61:6
[INFO] [stderr]    |
[INFO] [stderr] 61 |   fn C64_2()(xs in (C64_1(), C64_1())) -> Two<Complex<f64>> {
[INFO] [stderr]    |      ^^^^^ help: convert the identifier to snake case: `c64_2`
[INFO] [stderr] 
[INFO] [stderr] warning: function `C64_3` should have a snake case name
[INFO] [stderr]   --> src/complex/complex_test.rs:70:6
[INFO] [stderr]    |
[INFO] [stderr] 70 |   fn C64_3()(xs in (C64_1(), C64_1(), C64_1())) -> Three<Complex<f64>> {
[INFO] [stderr]    |      ^^^^^ help: convert the identifier to snake case: `c64_3`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_add_closure_C64` should have a snake case name
[INFO] [stderr]   --> src/complex/complex_test.rs:82:6
[INFO] [stderr]    |
[INFO] [stderr] 82 |   fn axiom_add_closure_C64((w, z) in C64_2()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_add_closure_c64`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_mul_closure_C64` should have a snake case name
[INFO] [stderr]   --> src/complex/complex_test.rs:88:6
[INFO] [stderr]    |
[INFO] [stderr] 88 |   fn axiom_mul_closure_C64((w, z) in C64_2()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_mul_closure_c64`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_mul_associativity_C64` should have a snake case name
[INFO] [stderr]   --> src/complex/complex_test.rs:94:6
[INFO] [stderr]    |
[INFO] [stderr] 94 |   fn axiom_mul_associativity_C64((u, w, z) in C64_3()) {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_mul_associativity_c64`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_add_associativity_C32` should have a snake case name
[INFO] [stderr]    --> src/complex/complex_test.rs:100:6
[INFO] [stderr]     |
[INFO] [stderr] 100 |   fn axiom_add_associativity_C32((u, w, z) in C32_3()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_add_associativity_c32`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_left_add_identity_C64` should have a snake case name
[INFO] [stderr]    --> src/complex/complex_test.rs:106:6
[INFO] [stderr]     |
[INFO] [stderr] 106 |   fn axiom_left_add_identity_C64(z in C64_1()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_left_add_identity_c64`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_right_add_identity_C32` should have a snake case name
[INFO] [stderr]    --> src/complex/complex_test.rs:112:6
[INFO] [stderr]     |
[INFO] [stderr] 112 |   fn axiom_right_add_identity_C32(z in C32_1()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_right_add_identity_c32`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_left_mul_identity_C64` should have a snake case name
[INFO] [stderr]    --> src/complex/complex_test.rs:118:6
[INFO] [stderr]     |
[INFO] [stderr] 118 |   fn axiom_left_mul_identity_C64(z in C64_1()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_left_mul_identity_c64`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_right_mul_identity_C32` should have a snake case name
[INFO] [stderr]    --> src/complex/complex_test.rs:124:6
[INFO] [stderr]     |
[INFO] [stderr] 124 |   fn axiom_right_mul_identity_C32(z in C32_1()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_right_mul_identity_c32`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_left_negate_C32` should have a snake case name
[INFO] [stderr]    --> src/complex/complex_test.rs:130:6
[INFO] [stderr]     |
[INFO] [stderr] 130 |   fn axiom_left_negate_C32(z in C32_1()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_left_negate_c32`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_right_negate_C64` should have a snake case name
[INFO] [stderr]    --> src/complex/complex_test.rs:136:6
[INFO] [stderr]     |
[INFO] [stderr] 136 |   fn axiom_right_negate_C64(z in C64_1()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_right_negate_c64`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_left_invert_C64` should have a snake case name
[INFO] [stderr]    --> src/complex/complex_test.rs:142:6
[INFO] [stderr]     |
[INFO] [stderr] 142 |   fn axiom_left_invert_C64(z in C64_1()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_left_invert_c64`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_right_invert_C32` should have a snake case name
[INFO] [stderr]    --> src/complex/complex_test.rs:150:6
[INFO] [stderr]     |
[INFO] [stderr] 150 |   fn axiom_right_invert_C32(z in C32_1()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_right_invert_c32`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_add_commutivity_C32` should have a snake case name
[INFO] [stderr]    --> src/complex/complex_test.rs:158:6
[INFO] [stderr]     |
[INFO] [stderr] 158 |   fn axiom_add_commutivity_C32((w, z) in C32_2()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_add_commutivity_c32`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_mul_commutivity_C64` should have a snake case name
[INFO] [stderr]    --> src/complex/complex_test.rs:164:6
[INFO] [stderr]     |
[INFO] [stderr] 164 |   fn axiom_mul_commutivity_C64((w, z) in C64_2()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_mul_commutivity_c64`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_left_distributivity_C32` should have a snake case name
[INFO] [stderr]    --> src/complex/complex_test.rs:170:6
[INFO] [stderr]     |
[INFO] [stderr] 170 |   fn axiom_left_distributivity_C32((x, y, z) in C32_3()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_left_distributivity_c32`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_right_distributivity_C64` should have a snake case name
[INFO] [stderr]    --> src/complex/complex_test.rs:176:6
[INFO] [stderr]     |
[INFO] [stderr] 176 |   fn axiom_right_distributivity_C64((x, y, z) in C64_3()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_right_distributivity_c64`
[INFO] [stderr] 
[INFO] [stderr] warning: function `prop_left_zero_absorb_C64` should have a snake case name
[INFO] [stderr]    --> src/complex/complex_test.rs:182:6
[INFO] [stderr]     |
[INFO] [stderr] 182 |   fn prop_left_zero_absorb_C64(x in C64_1()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `prop_left_zero_absorb_c64`
[INFO] [stderr] 
[INFO] [stderr] warning: function `prop_right_zero_absorb_C32` should have a snake case name
[INFO] [stderr]    --> src/complex/complex_test.rs:188:6
[INFO] [stderr]     |
[INFO] [stderr] 188 |   fn prop_right_zero_absorb_C32(x in C32_1()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `prop_right_zero_absorb_c32`
[INFO] [stderr] 
[INFO] [stderr] warning: function `prop_left_mul_negate_C64` should have a snake case name
[INFO] [stderr]    --> src/complex/complex_test.rs:194:6
[INFO] [stderr]     |
[INFO] [stderr] 194 |   fn prop_left_mul_negate_C64((x, y) in C64_2()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `prop_left_mul_negate_c64`
[INFO] [stderr] 
[INFO] [stderr] warning: function `prop_right_mul_negate_C32` should have a snake case name
[INFO] [stderr]    --> src/complex/complex_test.rs:200:6
[INFO] [stderr]     |
[INFO] [stderr] 200 |   fn prop_right_mul_negate_C32((x, y) in C32_2()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `prop_right_mul_negate_c32`
[INFO] [stderr] 
[INFO] [stderr] warning: function `prop_mul_negate_C64` should have a snake case name
[INFO] [stderr]    --> src/complex/complex_test.rs:206:6
[INFO] [stderr]     |
[INFO] [stderr] 206 |   fn prop_mul_negate_C64((x, y) in C64_2()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `prop_mul_negate_c64`
[INFO] [stderr] 
[INFO] [stderr] warning: function `prop_left_one_negate_C64` should have a snake case name
[INFO] [stderr]    --> src/complex/complex_test.rs:212:6
[INFO] [stderr]     |
[INFO] [stderr] 212 |   fn prop_left_one_negate_C64(x in C64_1()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `prop_left_one_negate_c64`
[INFO] [stderr] 
[INFO] [stderr] warning: function `prop_right_one_negate_C32` should have a snake case name
[INFO] [stderr]    --> src/complex/complex_test.rs:218:6
[INFO] [stderr]     |
[INFO] [stderr] 218 |   fn prop_right_one_negate_C32(x in C32_1()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `prop_right_one_negate_c32`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_ring_mul_commutivity_C64` should have a snake case name
[INFO] [stderr]    --> src/complex/complex_test.rs:224:6
[INFO] [stderr]     |
[INFO] [stderr] 224 |   fn axiom_ring_mul_commutivity_C64((x, y) in C64_2()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_ring_mul_commutivity_c64`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_field_left_invert_C64` should have a snake case name
[INFO] [stderr]    --> src/complex/complex_test.rs:230:6
[INFO] [stderr]     |
[INFO] [stderr] 230 |   fn axiom_field_left_invert_C64(z in C64_1()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_field_left_invert_c64`
[INFO] [stderr] 
[INFO] [stderr] warning: function `axiom_field_right_invert_C32` should have a snake case name
[INFO] [stderr]    --> src/complex/complex_test.rs:238:6
[INFO] [stderr]     |
[INFO] [stderr] 238 |   fn axiom_field_right_invert_C32(z in C32_1()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `axiom_field_right_invert_c32`
[INFO] [stderr] 
[INFO] [stderr] warning: function `prop_mul_zero_C64` should have a snake case name
[INFO] [stderr]    --> src/complex/complex_test.rs:246:6
[INFO] [stderr]     |
[INFO] [stderr] 246 |   fn prop_mul_zero_C64((w, z) in C64_2()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `prop_mul_zero_c64`
[INFO] [stderr] 
[INFO] [stderr] warning: function `prop_add_cancel_C32` should have a snake case name
[INFO] [stderr]    --> src/complex/complex_test.rs:252:6
[INFO] [stderr]     |
[INFO] [stderr] 252 |   fn prop_add_cancel_C32((v, w, z) in C32_3()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `prop_add_cancel_c32`
[INFO] [stderr] 
[INFO] [stderr] warning: function `prop_mul_cancel_C64` should have a snake case name
[INFO] [stderr]    --> src/complex/complex_test.rs:258:6
[INFO] [stderr]     |
[INFO] [stderr] 258 |   fn prop_mul_cancel_C64((v, w, z) in C64_3()) {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `prop_mul_cancel_c64`
[INFO] [stderr] 
[INFO] [stderr] warning: function `Q_1` should have a snake case name
[INFO] [stderr]   --> src/rational/rational_test.rs:25:6
[INFO] [stderr]    |
[INFO] [stderr] 25 |   fn Q_1()((n, d) in any::<Two<i64>>()) -> BigRational {
[INFO] [stderr]    |      ^^^ help: convert the identifier to snake case: `q_1`
[INFO] [stderr] 
[INFO] [stderr] warning: function `Q_2` should have a snake case name
[INFO] [stderr]   --> src/rational/rational_test.rs:37:6
[INFO] [stderr]    |
[INFO] [stderr] 37 |   fn Q_2()(qs in (Q_1(), Q_1())) -> Two<BigRational> {
[INFO] [stderr]    |      ^^^ help: convert the identifier to snake case: `q_2`
[INFO] [stderr] 
[INFO] [stderr] warning: function `Q_3` should have a snake case name
[INFO] [stderr]   --> src/rational/rational_test.rs:46:6
[INFO] [stderr]    |
[INFO] [stderr] 46 |   fn Q_3()(qs in (Q_1(), Q_1(), Q_1())) -> Three<BigRational> {
[INFO] [stderr]    |      ^^^ help: convert the identifier to snake case: `q_3`
[INFO] [stderr] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 3.73s
[INFO] running `"docker" "inspect" "86bfa9f500b70fd0f1f654f131a4e22df2d726a5dd502cd073ab6504e3df8089"`
[INFO] running `"docker" "rm" "-f" "86bfa9f500b70fd0f1f654f131a4e22df2d726a5dd502cd073ab6504e3df8089"`
[INFO] [stdout] 86bfa9f500b70fd0f1f654f131a4e22df2d726a5dd502cd073ab6504e3df8089