[INFO] crate conrod_core 0.68.0 is already in cache [INFO] checking conrod_core-0.68.0 against try#f149601db42efe10ece8b284ab681fd4a6fcb89c for pr-68766 [INFO] extracting crate conrod_core 0.68.0 into /workspace/builds/worker-10/source [INFO] validating manifest of crates.io crate conrod_core 0.68.0 on toolchain f149601db42efe10ece8b284ab681fd4a6fcb89c [INFO] running `"/workspace/cargo-home/bin/cargo" "+f149601db42efe10ece8b284ab681fd4a6fcb89c" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started tweaking crates.io crate conrod_core 0.68.0 [INFO] finished tweaking crates.io crate conrod_core 0.68.0 [INFO] tweaked toml for crates.io crate conrod_core 0.68.0 written to /workspace/builds/worker-10/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-10/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-10/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] b77408bf11323664780d833c03538618243a4309c0857734235cc16302734818 [INFO] running `"docker" "start" "-a" "b77408bf11323664780d833c03538618243a4309c0857734235cc16302734818"` [INFO] [stderr] Checking piston-float v0.3.0 [INFO] [stderr] Checking instant v0.1.2 [INFO] [stderr] Checking petgraph v0.4.13 [INFO] [stderr] Compiling wayland-scanner v0.23.6 [INFO] [stderr] Compiling xcb v0.9.0 [INFO] [stderr] Checking wayland-sys v0.23.6 [INFO] [stderr] Compiling conrod_derive v0.68.0 [INFO] [stderr] Checking num v0.2.1 [INFO] [stderr] Checking rusttype v0.8.2 [INFO] [stderr] Checking piston-viewport v0.5.0 [INFO] [stderr] Checking wayland-commons v0.23.6 [INFO] [stderr] Checking pistoncore-input v0.24.0 [INFO] [stderr] Checking rusttype v0.7.9 [INFO] [stderr] Checking andrew v0.2.1 [INFO] [stderr] Checking daggy v0.5.0 [INFO] [stderr] Compiling wayland-client v0.23.6 [INFO] [stderr] Compiling wayland-protocols v0.23.6 [INFO] [stderr] Checking x11-clipboard v0.5.1 [INFO] [stderr] Checking smithay-client-toolkit v0.6.4 [INFO] [stderr] Checking smithay-clipboard v0.3.6 [INFO] [stderr] Checking copypasta v0.6.2 [INFO] [stderr] Checking conrod_core v0.68.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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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: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: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: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: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/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: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/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/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/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/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: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/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: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: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/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: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/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/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: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/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: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/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: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: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: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: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/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] 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] 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] 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: 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/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] 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] 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/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/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] 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: 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: 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:256:37 [INFO] [stderr] | [INFO] [stderr] 256 | 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:266:38 [INFO] [stderr] | [INFO] [stderr] 266 | _ => 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:256:37 [INFO] [stderr] | [INFO] [stderr] 256 | 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:266:38 [INFO] [stderr] | [INFO] [stderr] 266 | _ => 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 `conrod_core`. [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 `conrod_core`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] running `"docker" "inspect" "b77408bf11323664780d833c03538618243a4309c0857734235cc16302734818"` [INFO] running `"docker" "rm" "-f" "b77408bf11323664780d833c03538618243a4309c0857734235cc16302734818"` [INFO] [stdout] b77408bf11323664780d833c03538618243a4309c0857734235cc16302734818