[INFO] crate kiss3d_conrod 0.64.0 is already in cache [INFO] checking kiss3d_conrod-0.64.0 against try#f149601db42efe10ece8b284ab681fd4a6fcb89c for pr-68766 [INFO] extracting crate kiss3d_conrod 0.64.0 into /workspace/builds/worker-4/source [INFO] validating manifest of crates.io crate kiss3d_conrod 0.64.0 on toolchain f149601db42efe10ece8b284ab681fd4a6fcb89c [INFO] running `"/workspace/cargo-home/bin/cargo" "+f149601db42efe10ece8b284ab681fd4a6fcb89c" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started tweaking crates.io crate kiss3d_conrod 0.64.0 [INFO] finished tweaking crates.io crate kiss3d_conrod 0.64.0 [INFO] tweaked toml for crates.io crate kiss3d_conrod 0.64.0 written to /workspace/builds/worker-4/source/Cargo.toml [INFO] running `"/workspace/cargo-home/bin/cargo" "+f149601db42efe10ece8b284ab681fd4a6fcb89c" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/workspace/cargo-home/bin/cargo" "+f149601db42efe10ece8b284ab681fd4a6fcb89c" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/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" "MAP_USER_ID=0" "-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" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+f149601db42efe10ece8b284ab681fd4a6fcb89c" "check" "--frozen" "--all" "--all-targets"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 3c12a38ecc2882e796ca7e199341e7c7f3b0181bc300bcdd28335d02dff2991b [INFO] running `"docker" "start" "-a" "3c12a38ecc2882e796ca7e199341e7c7f3b0181bc300bcdd28335d02dff2991b"` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Checking approx v0.3.2 [INFO] [stderr] Checking ordered-float v1.0.2 [INFO] [stderr] Checking stb_truetype v0.3.1 [INFO] [stderr] Compiling conrod_derive v0.63.0 [INFO] [stderr] Checking pistoncore-input v0.24.0 [INFO] [stderr] Checking rusttype v0.8.2 [INFO] [stderr] Checking kiss3d_conrod v0.64.0 (/opt/rustwide/workdir) [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/primitive/text.rs:32:24 [INFO] [stderr] | [INFO] [stderr] 32 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/primitive/text.rs:35:24 [INFO] [stderr] | [INFO] [stderr] 35 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/primitive/text.rs:47:24 [INFO] [stderr] | [INFO] [stderr] 47 | #[conrod(default = "theme.font_id")] [INFO] [stderr] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/bordered_rectangle.rs:40:24 [INFO] [stderr] | [INFO] [stderr] 40 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/bordered_rectangle.rs:43:24 [INFO] [stderr] | [INFO] [stderr] 43 | #[conrod(default = "theme.border_width")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/bordered_rectangle.rs:46:24 [INFO] [stderr] | [INFO] [stderr] 46 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/button.rs:28:24 [INFO] [stderr] | [INFO] [stderr] 28 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/button.rs:31:24 [INFO] [stderr] | [INFO] [stderr] 31 | #[conrod(default = "theme.border_width")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/button.rs:34:24 [INFO] [stderr] | [INFO] [stderr] 34 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/button.rs:37:24 [INFO] [stderr] | [INFO] [stderr] 37 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/button.rs:40:24 [INFO] [stderr] | [INFO] [stderr] 40 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/button.rs:43:24 [INFO] [stderr] | [INFO] [stderr] 43 | #[conrod(default = "theme.font_id")] [INFO] [stderr] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/canvas.rs:65:24 [INFO] [stderr] | [INFO] [stderr] 65 | #[conrod(default = "theme.background_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/canvas.rs:68:24 [INFO] [stderr] | [INFO] [stderr] 68 | #[conrod(default = "theme.border_width")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/canvas.rs:71:24 [INFO] [stderr] | [INFO] [stderr] 71 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/canvas.rs:78:24 [INFO] [stderr] | [INFO] [stderr] 78 | #[conrod(default = "theme.padding.x.start")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/canvas.rs:81:24 [INFO] [stderr] | [INFO] [stderr] 81 | #[conrod(default = "theme.padding.x.end")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/canvas.rs:84:24 [INFO] [stderr] | [INFO] [stderr] 84 | #[conrod(default = "theme.padding.y.start")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/canvas.rs:87:24 [INFO] [stderr] | [INFO] [stderr] 87 | #[conrod(default = "theme.padding.y.end")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/canvas.rs:94:24 [INFO] [stderr] | [INFO] [stderr] 94 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/canvas.rs:97:24 [INFO] [stderr] | [INFO] [stderr] 97 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/collapsible_area.rs:41:24 [INFO] [stderr] | [INFO] [stderr] 41 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/collapsible_area.rs:44:24 [INFO] [stderr] | [INFO] [stderr] 44 | #[conrod(default = "theme.border_width")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/collapsible_area.rs:47:24 [INFO] [stderr] | [INFO] [stderr] 47 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/collapsible_area.rs:50:24 [INFO] [stderr] | [INFO] [stderr] 50 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/collapsible_area.rs:56:24 [INFO] [stderr] | [INFO] [stderr] 56 | #[conrod(default = "theme.font_id")] [INFO] [stderr] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/drop_down_list.rs:33:24 [INFO] [stderr] | [INFO] [stderr] 33 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/drop_down_list.rs:36:24 [INFO] [stderr] | [INFO] [stderr] 36 | #[conrod(default = "theme.border_width")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/drop_down_list.rs:39:24 [INFO] [stderr] | [INFO] [stderr] 39 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/drop_down_list.rs:42:24 [INFO] [stderr] | [INFO] [stderr] 42 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/drop_down_list.rs:45:24 [INFO] [stderr] | [INFO] [stderr] 45 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/drop_down_list.rs:66:24 [INFO] [stderr] | [INFO] [stderr] 66 | #[conrod(default = "theme.font_id")] [INFO] [stderr] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/envelope_editor.rs:37:24 [INFO] [stderr] | [INFO] [stderr] 37 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/envelope_editor.rs:40:24 [INFO] [stderr] | [INFO] [stderr] 40 | #[conrod(default = "theme.border_width")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/primitive/text.rs:32:24 [INFO] [stderr] | [INFO] [stderr] 32 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/primitive/text.rs:35:24 [INFO] [stderr] | [INFO] [stderr] 35 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/primitive/text.rs:47:24 [INFO] [stderr] | [INFO] [stderr] 47 | #[conrod(default = "theme.font_id")] [INFO] [stderr] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/bordered_rectangle.rs:40:24 [INFO] [stderr] | [INFO] [stderr] 40 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/bordered_rectangle.rs:43:24 [INFO] [stderr] | [INFO] [stderr] 43 | #[conrod(default = "theme.border_width")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/envelope_editor.rs:43:24 [INFO] [stderr] | [INFO] [stderr] 43 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/bordered_rectangle.rs:46:24 [INFO] [stderr] | [INFO] [stderr] 46 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/envelope_editor.rs:46:24 [INFO] [stderr] | [INFO] [stderr] 46 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/button.rs:28:24 [INFO] [stderr] | [INFO] [stderr] 28 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/envelope_editor.rs:49:24 [INFO] [stderr] | [INFO] [stderr] 49 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/envelope_editor.rs:61:24 [INFO] [stderr] | [INFO] [stderr] 61 | #[conrod(default = "theme.font_id")] [INFO] [stderr] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/button.rs:31:24 [INFO] [stderr] | [INFO] [stderr] 31 | #[conrod(default = "theme.border_width")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/file_navigator/directory_view.rs:69:24 [INFO] [stderr] | [INFO] [stderr] 69 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/file_navigator/directory_view.rs:78:24 [INFO] [stderr] | [INFO] [stderr] 78 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/button.rs:34:24 [INFO] [stderr] | [INFO] [stderr] 34 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/button.rs:37:24 [INFO] [stderr] | [INFO] [stderr] 37 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/file_navigator/mod.rs:96:24 [INFO] [stderr] | [INFO] [stderr] 96 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/file_navigator/mod.rs:105:24 [INFO] [stderr] | [INFO] [stderr] 105 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/button.rs:40:24 [INFO] [stderr] | [INFO] [stderr] 40 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/button.rs:43:24 [INFO] [stderr] | [INFO] [stderr] 43 | #[conrod(default = "theme.font_id")] [INFO] [stderr] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/grid.rs:35:24 [INFO] [stderr] | [INFO] [stderr] 35 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/list.rs:128:24 [INFO] [stderr] | [INFO] [stderr] 128 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/canvas.rs:65:24 [INFO] [stderr] | [INFO] [stderr] 65 | #[conrod(default = "theme.background_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/canvas.rs:68:24 [INFO] [stderr] | [INFO] [stderr] 68 | #[conrod(default = "theme.border_width")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/number_dialer.rs:44:24 [INFO] [stderr] | [INFO] [stderr] 44 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/canvas.rs:71:24 [INFO] [stderr] | [INFO] [stderr] 71 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/number_dialer.rs:47:24 [INFO] [stderr] | [INFO] [stderr] 47 | #[conrod(default = "theme.border_width")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/canvas.rs:78:24 [INFO] [stderr] | [INFO] [stderr] 78 | #[conrod(default = "theme.padding.x.start")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/number_dialer.rs:50:24 [INFO] [stderr] | [INFO] [stderr] 50 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/canvas.rs:81:24 [INFO] [stderr] | [INFO] [stderr] 81 | #[conrod(default = "theme.padding.x.end")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/canvas.rs:84:24 [INFO] [stderr] | [INFO] [stderr] 84 | #[conrod(default = "theme.padding.y.start")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/number_dialer.rs:53:24 [INFO] [stderr] | [INFO] [stderr] 53 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/number_dialer.rs:56:24 [INFO] [stderr] | [INFO] [stderr] 56 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/canvas.rs:87:24 [INFO] [stderr] | [INFO] [stderr] 87 | #[conrod(default = "theme.padding.y.end")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/canvas.rs:94:24 [INFO] [stderr] | [INFO] [stderr] 94 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/canvas.rs:97:24 [INFO] [stderr] | [INFO] [stderr] 97 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/number_dialer.rs:59:24 [INFO] [stderr] | [INFO] [stderr] 59 | #[conrod(default = "theme.font_id")] [INFO] [stderr] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/collapsible_area.rs:41:24 [INFO] [stderr] | [INFO] [stderr] 41 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/plot_path.rs:33:24 [INFO] [stderr] | [INFO] [stderr] 33 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/collapsible_area.rs:44:24 [INFO] [stderr] | [INFO] [stderr] 44 | #[conrod(default = "theme.border_width")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/range_slider.rs:37:24 [INFO] [stderr] | [INFO] [stderr] 37 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/collapsible_area.rs:47:24 [INFO] [stderr] | [INFO] [stderr] 47 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/range_slider.rs:40:24 [INFO] [stderr] | [INFO] [stderr] 40 | #[conrod(default = "theme.border_width")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/range_slider.rs:43:24 [INFO] [stderr] | [INFO] [stderr] 43 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/collapsible_area.rs:50:24 [INFO] [stderr] | [INFO] [stderr] 50 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/collapsible_area.rs:56:24 [INFO] [stderr] | [INFO] [stderr] 56 | #[conrod(default = "theme.font_id")] [INFO] [stderr] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/drop_down_list.rs:33:24 [INFO] [stderr] | [INFO] [stderr] 33 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/range_slider.rs:46:24 [INFO] [stderr] | [INFO] [stderr] 46 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/drop_down_list.rs:36:24 [INFO] [stderr] | [INFO] [stderr] 36 | #[conrod(default = "theme.border_width")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/drop_down_list.rs:39:24 [INFO] [stderr] | [INFO] [stderr] 39 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/range_slider.rs:49:24 [INFO] [stderr] | [INFO] [stderr] 49 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/range_slider.rs:52:24 [INFO] [stderr] | [INFO] [stderr] 52 | #[conrod(default = "theme.font_id")] [INFO] [stderr] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/scrollbar.rs:45:24 [INFO] [stderr] | [INFO] [stderr] 45 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/drop_down_list.rs:42:24 [INFO] [stderr] | [INFO] [stderr] 42 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/drop_down_list.rs:45:24 [INFO] [stderr] | [INFO] [stderr] 45 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/slider.rs:43:24 [INFO] [stderr] | [INFO] [stderr] 43 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/drop_down_list.rs:66:24 [INFO] [stderr] | [INFO] [stderr] 66 | #[conrod(default = "theme.font_id")] [INFO] [stderr] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/slider.rs:46:24 [INFO] [stderr] | [INFO] [stderr] 46 | #[conrod(default = "theme.border_width")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/envelope_editor.rs:37:24 [INFO] [stderr] | [INFO] [stderr] 37 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/slider.rs:49:24 [INFO] [stderr] | [INFO] [stderr] 49 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/slider.rs:52:24 [INFO] [stderr] | [INFO] [stderr] 52 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/envelope_editor.rs:40:24 [INFO] [stderr] | [INFO] [stderr] 40 | #[conrod(default = "theme.border_width")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/envelope_editor.rs:43:24 [INFO] [stderr] | [INFO] [stderr] 43 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/slider.rs:55:24 [INFO] [stderr] | [INFO] [stderr] 55 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/slider.rs:58:24 [INFO] [stderr] | [INFO] [stderr] 58 | #[conrod(default = "theme.font_id")] [INFO] [stderr] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/envelope_editor.rs:46:24 [INFO] [stderr] | [INFO] [stderr] 46 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/tabs.rs:58:24 [INFO] [stderr] | [INFO] [stderr] 58 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/envelope_editor.rs:49:24 [INFO] [stderr] | [INFO] [stderr] 49 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/tabs.rs:61:24 [INFO] [stderr] | [INFO] [stderr] 61 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/envelope_editor.rs:61:24 [INFO] [stderr] | [INFO] [stderr] 61 | #[conrod(default = "theme.font_id")] [INFO] [stderr] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/text_box.rs:32:24 [INFO] [stderr] | [INFO] [stderr] 32 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/file_navigator/directory_view.rs:69:24 [INFO] [stderr] | [INFO] [stderr] 69 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/text_box.rs:35:24 [INFO] [stderr] | [INFO] [stderr] 35 | #[conrod(default = "theme.border_width")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/text_box.rs:38:24 [INFO] [stderr] | [INFO] [stderr] 38 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/file_navigator/directory_view.rs:78:24 [INFO] [stderr] | [INFO] [stderr] 78 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/text_box.rs:41:24 [INFO] [stderr] | [INFO] [stderr] 41 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/text_box.rs:44:24 [INFO] [stderr] | [INFO] [stderr] 44 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/file_navigator/mod.rs:96:24 [INFO] [stderr] | [INFO] [stderr] 96 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/text_box.rs:50:24 [INFO] [stderr] | [INFO] [stderr] 50 | #[conrod(default = "theme.font_id")] [INFO] [stderr] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/file_navigator/mod.rs:105:24 [INFO] [stderr] | [INFO] [stderr] 105 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/text_edit.rs:31:24 [INFO] [stderr] | [INFO] [stderr] 31 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/grid.rs:35:24 [INFO] [stderr] | [INFO] [stderr] 35 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/text_edit.rs:34:24 [INFO] [stderr] | [INFO] [stderr] 34 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/text_edit.rs:52:24 [INFO] [stderr] | [INFO] [stderr] 52 | #[conrod(default = "theme.font_id")] [INFO] [stderr] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/list.rs:128:24 [INFO] [stderr] | [INFO] [stderr] 128 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/title_bar.rs:37:24 [INFO] [stderr] | [INFO] [stderr] 37 | #[conrod(default = "theme.background_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/title_bar.rs:40:24 [INFO] [stderr] | [INFO] [stderr] 40 | #[conrod(default = "theme.border_width")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/number_dialer.rs:44:24 [INFO] [stderr] | [INFO] [stderr] 44 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/title_bar.rs:43:24 [INFO] [stderr] | [INFO] [stderr] 43 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/number_dialer.rs:47:24 [INFO] [stderr] | [INFO] [stderr] 47 | #[conrod(default = "theme.border_width")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/number_dialer.rs:50:24 [INFO] [stderr] | [INFO] [stderr] 50 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/title_bar.rs:46:24 [INFO] [stderr] | [INFO] [stderr] 46 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/title_bar.rs:49:24 [INFO] [stderr] | [INFO] [stderr] 49 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/number_dialer.rs:53:24 [INFO] [stderr] | [INFO] [stderr] 53 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/title_bar.rs:67:24 [INFO] [stderr] | [INFO] [stderr] 67 | #[conrod(default = "theme.font_id")] [INFO] [stderr] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/number_dialer.rs:56:24 [INFO] [stderr] | [INFO] [stderr] 56 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/toggle.rs:31:24 [INFO] [stderr] | [INFO] [stderr] 31 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/number_dialer.rs:59:24 [INFO] [stderr] | [INFO] [stderr] 59 | #[conrod(default = "theme.font_id")] [INFO] [stderr] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/plot_path.rs:33:24 [INFO] [stderr] | [INFO] [stderr] 33 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/toggle.rs:34:24 [INFO] [stderr] | [INFO] [stderr] 34 | #[conrod(default = "theme.border_width")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/range_slider.rs:37:24 [INFO] [stderr] | [INFO] [stderr] 37 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/toggle.rs:37:24 [INFO] [stderr] | [INFO] [stderr] 37 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/toggle.rs:40:24 [INFO] [stderr] | [INFO] [stderr] 40 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/range_slider.rs:40:24 [INFO] [stderr] | [INFO] [stderr] 40 | #[conrod(default = "theme.border_width")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/toggle.rs:43:24 [INFO] [stderr] | [INFO] [stderr] 43 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/range_slider.rs:43:24 [INFO] [stderr] | [INFO] [stderr] 43 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/toggle.rs:46:24 [INFO] [stderr] | [INFO] [stderr] 46 | #[conrod(default = "theme.font_id")] [INFO] [stderr] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/range_slider.rs:46:24 [INFO] [stderr] | [INFO] [stderr] 46 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/xy_pad.rs:39:24 [INFO] [stderr] | [INFO] [stderr] 39 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/range_slider.rs:49:24 [INFO] [stderr] | [INFO] [stderr] 49 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/range_slider.rs:52:24 [INFO] [stderr] | [INFO] [stderr] 52 | #[conrod(default = "theme.font_id")] [INFO] [stderr] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/xy_pad.rs:42:24 [INFO] [stderr] | [INFO] [stderr] 42 | #[conrod(default = "theme.border_width")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/xy_pad.rs:45:24 [INFO] [stderr] | [INFO] [stderr] 45 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/scrollbar.rs:45:24 [INFO] [stderr] | [INFO] [stderr] 45 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/xy_pad.rs:48:24 [INFO] [stderr] | [INFO] [stderr] 48 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/slider.rs:43:24 [INFO] [stderr] | [INFO] [stderr] 43 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/xy_pad.rs:51:24 [INFO] [stderr] | [INFO] [stderr] 51 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/slider.rs:46:24 [INFO] [stderr] | [INFO] [stderr] 46 | #[conrod(default = "theme.border_width")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/xy_pad.rs:54:24 [INFO] [stderr] | [INFO] [stderr] 54 | #[conrod(default = "theme.font_id")] [INFO] [stderr] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/slider.rs:49:24 [INFO] [stderr] | [INFO] [stderr] 49 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/slider.rs:52:24 [INFO] [stderr] | [INFO] [stderr] 52 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/slider.rs:55:24 [INFO] [stderr] | [INFO] [stderr] 55 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/slider.rs:58:24 [INFO] [stderr] | [INFO] [stderr] 58 | #[conrod(default = "theme.font_id")] [INFO] [stderr] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/tabs.rs:58:24 [INFO] [stderr] | [INFO] [stderr] 58 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/tabs.rs:61:24 [INFO] [stderr] | [INFO] [stderr] 61 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/text_box.rs:32:24 [INFO] [stderr] | [INFO] [stderr] 32 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/text_box.rs:35:24 [INFO] [stderr] | [INFO] [stderr] 35 | #[conrod(default = "theme.border_width")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/text_box.rs:38:24 [INFO] [stderr] | [INFO] [stderr] 38 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/text_box.rs:41:24 [INFO] [stderr] | [INFO] [stderr] 41 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/text_box.rs:44:24 [INFO] [stderr] | [INFO] [stderr] 44 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/text_box.rs:50:24 [INFO] [stderr] | [INFO] [stderr] 50 | #[conrod(default = "theme.font_id")] [INFO] [stderr] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/text_edit.rs:31:24 [INFO] [stderr] | [INFO] [stderr] 31 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/text_edit.rs:34:24 [INFO] [stderr] | [INFO] [stderr] 34 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/text_edit.rs:52:24 [INFO] [stderr] | [INFO] [stderr] 52 | #[conrod(default = "theme.font_id")] [INFO] [stderr] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/title_bar.rs:37:24 [INFO] [stderr] | [INFO] [stderr] 37 | #[conrod(default = "theme.background_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/title_bar.rs:40:24 [INFO] [stderr] | [INFO] [stderr] 40 | #[conrod(default = "theme.border_width")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/title_bar.rs:43:24 [INFO] [stderr] | [INFO] [stderr] 43 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/title_bar.rs:46:24 [INFO] [stderr] | [INFO] [stderr] 46 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/title_bar.rs:49:24 [INFO] [stderr] | [INFO] [stderr] 49 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/graph/mod.rs:71:33 [INFO] [stderr] | [INFO] [stderr] 71 | pub maybe_state: Option>, [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn Any + Send` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `std` [INFO] [stderr] --> src/input/state.rs:69:9 [INFO] [stderr] | [INFO] [stderr] 69 | use std; [INFO] [stderr] | ^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/title_bar.rs:67:24 [INFO] [stderr] | [INFO] [stderr] 67 | #[conrod(default = "theme.font_id")] [INFO] [stderr] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/toggle.rs:31:24 [INFO] [stderr] | [INFO] [stderr] 31 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/theme.rs:63:20 [INFO] [stderr] | [INFO] [stderr] 63 | pub style: Box, [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn Any + Send` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/theme.rs:79:27 [INFO] [stderr] | [INFO] [stderr] 79 | pub fn new(style: Box) -> WidgetDefault { [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn Any + Send` [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/toggle.rs:34:24 [INFO] [stderr] | [INFO] [stderr] 34 | #[conrod(default = "theme.border_width")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] warning: the item `event` is imported redundantly [INFO] [stderr] --> src/ui.rs:384:21 [INFO] [stderr] | [INFO] [stderr] 2 | use event; [INFO] [stderr] | ----- the item `event` is already imported here [INFO] [stderr] ... [INFO] [stderr] 384 | use event::{self, Input}; [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/toggle.rs:37:24 [INFO] [stderr] | [INFO] [stderr] 37 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] warning: the item `ModifierKey` is imported redundantly [INFO] [stderr] --> src/ui.rs:390:17 [INFO] [stderr] | [INFO] [stderr] 385 | use input::{Button, Key, ModifierKey, Motion}; [INFO] [stderr] | ----------- the item `ModifierKey` is already imported here [INFO] [stderr] ... [INFO] [stderr] 390 | use input::keyboard::ModifierKey; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/toggle.rs:40:24 [INFO] [stderr] | [INFO] [stderr] 40 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] warning: the item `utils` is imported redundantly [INFO] [stderr] --> src/ui.rs:699:37 [INFO] [stderr] | [INFO] [stderr] 12 | use utils; [INFO] [stderr] | ----- the item `utils` is already imported here [INFO] [stderr] ... [INFO] [stderr] 699 | use utils; [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: the item `Widget` is imported redundantly [INFO] [stderr] --> src/ui.rs:1072:62 [INFO] [stderr] | [INFO] [stderr] 13 | use widget::{self, Widget}; [INFO] [stderr] | ------ the item `Widget` is already imported here [INFO] [stderr] ... [INFO] [stderr] 1072 | use {color, Colorable, Borderable, Positionable, Widget}; [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/toggle.rs:43:24 [INFO] [stderr] | [INFO] [stderr] 43 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/toggle.rs:46:24 [INFO] [stderr] | [INFO] [stderr] 46 | #[conrod(default = "theme.font_id")] [INFO] [stderr] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/xy_pad.rs:39:24 [INFO] [stderr] | [INFO] [stderr] 39 | #[conrod(default = "theme.shape_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] warning: unused label [INFO] [stderr] --> src/widget/number_dialer.rs:246:9 [INFO] [stderr] | [INFO] [stderr] 246 | 'events: for widget_event in ui.widget_input(id).events() { [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_labels)]` on by default [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/xy_pad.rs:42:24 [INFO] [stderr] | [INFO] [stderr] 42 | #[conrod(default = "theme.border_width")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/xy_pad.rs:45:24 [INFO] [stderr] | [INFO] [stderr] 45 | #[conrod(default = "theme.border_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/xy_pad.rs:48:24 [INFO] [stderr] | [INFO] [stderr] 48 | #[conrod(default = "theme.label_color")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/xy_pad.rs:51:24 [INFO] [stderr] | [INFO] [stderr] 51 | #[conrod(default = "theme.font_size_medium")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] error[E0425]: cannot find value `theme` in this scope [INFO] [stderr] --> src/widget/xy_pad.rs:54:24 [INFO] [stderr] | [INFO] [stderr] 54 | #[conrod(default = "theme.font_id")] [INFO] [stderr] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/graph/mod.rs:71:33 [INFO] [stderr] | [INFO] [stderr] 71 | pub maybe_state: Option>, [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn Any + Send` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `std` [INFO] [stderr] --> src/input/state.rs:69:9 [INFO] [stderr] | [INFO] [stderr] 69 | use std; [INFO] [stderr] | ^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/theme.rs:63:20 [INFO] [stderr] | [INFO] [stderr] 63 | pub style: Box, [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn Any + Send` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/theme.rs:79:27 [INFO] [stderr] | [INFO] [stderr] 79 | pub fn new(style: Box) -> WidgetDefault { [INFO] [stderr] | ^^^^^^^^^^ help: use `dyn`: `dyn Any + Send` [INFO] [stderr] [INFO] [stderr] warning: the item `event` is imported redundantly [INFO] [stderr] --> src/ui.rs:384:21 [INFO] [stderr] | [INFO] [stderr] 2 | use event; [INFO] [stderr] | ----- the item `event` is already imported here [INFO] [stderr] ... [INFO] [stderr] 384 | use event::{self, Input}; [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: the item `ModifierKey` is imported redundantly [INFO] [stderr] --> src/ui.rs:390:17 [INFO] [stderr] | [INFO] [stderr] 385 | use input::{Button, Key, ModifierKey, Motion}; [INFO] [stderr] | ----------- the item `ModifierKey` is already imported here [INFO] [stderr] ... [INFO] [stderr] 390 | use input::keyboard::ModifierKey; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: the item `utils` is imported redundantly [INFO] [stderr] --> src/ui.rs:699:37 [INFO] [stderr] | [INFO] [stderr] 12 | use utils; [INFO] [stderr] | ----- the item `utils` is already imported here [INFO] [stderr] ... [INFO] [stderr] 699 | use utils; [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: the item `Widget` is imported redundantly [INFO] [stderr] --> src/ui.rs:1072:62 [INFO] [stderr] | [INFO] [stderr] 13 | use widget::{self, Widget}; [INFO] [stderr] | ------ the item `Widget` is already imported here [INFO] [stderr] ... [INFO] [stderr] 1072 | use {color, Colorable, Borderable, Positionable, Widget}; [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused label [INFO] [stderr] --> src/widget/number_dialer.rs:246:9 [INFO] [stderr] | [INFO] [stderr] 246 | 'events: for widget_event in ui.widget_input(id).events() { [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_labels)]` on by default [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/text.rs:244:37 [INFO] [stderr] | [INFO] [stderr] 244 | Error::IO(ref e) => std::error::Error::description(e), [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(deprecated)]` on by default [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/text.rs:254:38 [INFO] [stderr] | [INFO] [stderr] 254 | _ => write!(f, "{}", std::error::Error::description(self)) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/text.rs:244:37 [INFO] [stderr] | [INFO] [stderr] 244 | Error::IO(ref e) => std::error::Error::description(e), [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(deprecated)]` on by default [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string() [INFO] [stderr] --> src/text.rs:254:38 [INFO] [stderr] | [INFO] [stderr] 254 | _ => write!(f, "{}", std::error::Error::description(self)) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error: aborting due to 93 previous errors [INFO] [stderr] [INFO] [stderr] For more information about this error, try `rustc --explain E0425`. [INFO] [stderr] error: could not compile `kiss3d_conrod`. [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: aborting due to 93 previous errors [INFO] [stderr] [INFO] [stderr] For more information about this error, try `rustc --explain E0425`. [INFO] [stderr] error: could not compile `kiss3d_conrod`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] running `"docker" "inspect" "3c12a38ecc2882e796ca7e199341e7c7f3b0181bc300bcdd28335d02dff2991b"` [INFO] running `"docker" "rm" "-f" "3c12a38ecc2882e796ca7e199341e7c7f3b0181bc300bcdd28335d02dff2991b"` [INFO] [stdout] 3c12a38ecc2882e796ca7e199341e7c7f3b0181bc300bcdd28335d02dff2991b