Nov 27 15:15:28.392 INFO documenting pythonesque/dependent_traits against master#6bfb46e4ac9a2704f06de1a2ff7a4612cd70c8cb for pr-55318 Nov 27 15:15:28.394 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55318/worker-7/master#6bfb46e4ac9a2704f06de1a2ff7a4612cd70c8cb:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/pr-55318/master#6bfb46e4ac9a2704f06de1a2ff7a4612cd70c8cb:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +6bfb46e4ac9a2704f06de1a2ff7a4612cd70c8cb-alt doc --frozen --no-deps --document-private-items" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Nov 27 15:15:28.980 INFO [stdout] aade9e4870df04e944cfee5f3b19d992186b2e0c1b2b4f95c2c6a926244a6d66 Nov 27 15:15:28.982 INFO running `"docker" "start" "-a" "aade9e4870df04e944cfee5f3b19d992186b2e0c1b2b4f95c2c6a926244a6d66"` Nov 27 15:15:31.439 INFO [stderr] usermod: no changes Nov 27 15:15:31.551 INFO [stderr] Compiling frunk_core v0.2.0 Nov 27 15:15:51.613 INFO [stderr] Compiling frunk_derives v0.2.0 Nov 27 15:15:55.428 INFO [stderr] Checking frunk v0.2.0 Nov 27 15:15:56.387 INFO [stderr] Documenting dependent_traits v0.1.0 (/source) Nov 27 15:16:12.875 INFO [stderr] warning: `[v]` cannot be resolved, ignoring it... Nov 27 15:16:12.875 INFO [stderr] --> src/context.rs:1031:51 Nov 27 15:16:12.875 INFO [stderr] | Nov 27 15:16:12.875 INFO [stderr] 1031 | /// FStk(v,stk) represents an irreductible value [v] in the stack [stk]. Nov 27 15:16:12.875 INFO [stderr] | ^ cannot be resolved, ignoring Nov 27 15:16:12.875 INFO [stderr] | Nov 27 15:16:12.875 INFO [stderr] = note: #[warn(intra_doc_link_resolution_failure)] on by default Nov 27 15:16:12.875 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 27 15:16:12.875 INFO [stderr] Nov 27 15:16:12.875 INFO [stderr] warning: `[stk]` cannot be resolved, ignoring it... Nov 27 15:16:12.875 INFO [stderr] --> src/context.rs:1031:68 Nov 27 15:16:12.875 INFO [stderr] | Nov 27 15:16:12.875 INFO [stderr] 1031 | /// FStk(v,stk) represents an irreductible value [v] in the stack [stk]. Nov 27 15:16:12.875 INFO [stderr] | ^^^ cannot be resolved, ignoring Nov 27 15:16:12.875 INFO [stderr] | Nov 27 15:16:12.875 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 27 15:16:12.875 INFO [stderr] Nov 27 15:16:12.875 INFO [stderr] warning: `[v]` cannot be resolved, ignoring it... Nov 27 15:16:12.875 INFO [stderr] --> src/context.rs:1032:17 Nov 27 15:16:12.875 INFO [stderr] | Nov 27 15:16:12.875 INFO [stderr] 1032 | /// (Note that [v] is a WhdValue and [Stk] is a *reversed* Stack; the Nov 27 15:16:12.875 INFO [stderr] | ^ cannot be resolved, ignoring Nov 27 15:16:12.875 INFO [stderr] | Nov 27 15:16:12.875 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 27 15:16:12.875 INFO [stderr] Nov 27 15:16:12.875 INFO [stderr] warning: `[Stk]` cannot be resolved, ignoring it... Nov 27 15:16:12.875 INFO [stderr] --> src/context.rs:1032:39 Nov 27 15:16:12.875 INFO [stderr] | Nov 27 15:16:12.875 INFO [stderr] 1032 | /// (Note that [v] is a WhdValue and [Stk] is a *reversed* Stack; the Nov 27 15:16:12.875 INFO [stderr] | ^^^ cannot be resolved, ignoring Nov 27 15:16:12.875 INFO [stderr] | Nov 27 15:16:12.875 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 27 15:16:12.875 INFO [stderr] Nov 27 15:16:12.875 INFO [stderr] warning: `[S]` cannot be resolved, ignoring it... Nov 27 15:16:12.875 INFO [stderr] --> src/context.rs:1039:28 Nov 27 15:16:12.875 INFO [stderr] | Nov 27 15:16:12.875 INFO [stderr] 1039 | /// FCbn(t,S) is the term [S]t. It is used to delay evaluation. Nov 27 15:16:12.875 INFO [stderr] | ^ cannot be resolved, ignoring Nov 27 15:16:12.875 INFO [stderr] | Nov 27 15:16:12.875 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 27 15:16:12.875 INFO [stderr] Nov 27 15:16:12.875 INFO [stderr] warning: `[t]` cannot be resolved, ignoring it... Nov 27 15:16:12.875 INFO [stderr] --> src/context.rs:1040:17 Nov 27 15:16:12.875 INFO [stderr] | Nov 27 15:16:12.875 INFO [stderr] 1040 | /// (Note that [t] is a Constr and [S] is a substitution). Nov 27 15:16:12.875 INFO [stderr] | ^ cannot be resolved, ignoring Nov 27 15:16:12.875 INFO [stderr] | Nov 27 15:16:12.875 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 27 15:16:12.875 INFO [stderr] Nov 27 15:16:12.875 INFO [stderr] warning: `[S]` cannot be resolved, ignoring it... Nov 27 15:16:12.875 INFO [stderr] --> src/context.rs:1040:37 Nov 27 15:16:12.875 INFO [stderr] | Nov 27 15:16:12.875 INFO [stderr] 1040 | /// (Note that [t] is a Constr and [S] is a substitution). Nov 27 15:16:12.875 INFO [stderr] | ^ cannot be resolved, ignoring Nov 27 15:16:12.875 INFO [stderr] | Nov 27 15:16:12.875 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 27 15:16:12.875 INFO [stderr] Nov 27 15:16:12.876 INFO [stderr] warning: `[v]` cannot be resolved, ignoring it... Nov 27 15:16:12.876 INFO [stderr] --> src/context.rs:471:27 Nov 27 15:16:12.876 INFO [stderr] | Nov 27 15:16:12.876 INFO [stderr] 471 | /// substituted by value [v] under lams binders (i.e. v *has* to be Nov 27 15:16:12.876 INFO [stderr] | ^ cannot be resolved, ignoring Nov 27 15:16:12.876 INFO [stderr] | Nov 27 15:16:12.876 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 27 15:16:12.876 INFO [stderr] Nov 27 15:16:12.876 INFO [stderr] warning: `[lft1]` cannot be resolved, ignoring it... Nov 27 15:16:12.876 INFO [stderr] --> src/context.rs:1769:25 Nov 27 15:16:12.876 INFO [stderr] | Nov 27 15:16:12.876 INFO [stderr] 1769 | /// Conversion between [lft1]term1 and [lft2]term2 Nov 27 15:16:12.876 INFO [stderr] | ^^^^ cannot be resolved, ignoring Nov 27 15:16:12.876 INFO [stderr] | Nov 27 15:16:12.876 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 27 15:16:12.876 INFO [stderr] Nov 27 15:16:12.876 INFO [stderr] warning: `[lft2]` cannot be resolved, ignoring it... Nov 27 15:16:12.876 INFO [stderr] --> src/context.rs:1769:41 Nov 27 15:16:12.876 INFO [stderr] | Nov 27 15:16:12.876 INFO [stderr] 1769 | /// Conversion between [lft1]term1 and [lft2]term2 Nov 27 15:16:12.876 INFO [stderr] | ^^^^ cannot be resolved, ignoring Nov 27 15:16:12.876 INFO [stderr] | Nov 27 15:16:12.876 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 27 15:16:12.876 INFO [stderr] Nov 27 15:16:13.263 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 41.79s Nov 27 15:16:13.271 INFO [stderr] su: No module specific data is present Nov 27 15:16:14.365 INFO running `"docker" "inspect" "aade9e4870df04e944cfee5f3b19d992186b2e0c1b2b4f95c2c6a926244a6d66"` Nov 27 15:16:14.739 INFO running `"docker" "rm" "-f" "aade9e4870df04e944cfee5f3b19d992186b2e0c1b2b4f95c2c6a926244a6d66"` Nov 27 15:16:15.172 INFO [stdout] aade9e4870df04e944cfee5f3b19d992186b2e0c1b2b4f95c2c6a926244a6d66