Dec 01 09:09:17.256 INFO documenting pythonesque/dependent_traits against try#f86f76f89ea2b1ccbfb3741962ec2029d878a389 for pr-55318-1 Dec 01 09:09:17.256 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55318-1/worker-5/try#f86f76f89ea2b1ccbfb3741962ec2029d878a389:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-55318-1/try#f86f76f89ea2b1ccbfb3741962ec2029d878a389:/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 +f86f76f89ea2b1ccbfb3741962ec2029d878a389-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"` Dec 01 09:09:17.728 INFO [stdout] f4abcef010cf18b2bc24d1311be6a943b06d3b8717d0d763b387d74d0f8392ac Dec 01 09:09:17.736 INFO running `"docker" "start" "-a" "f4abcef010cf18b2bc24d1311be6a943b06d3b8717d0d763b387d74d0f8392ac"` Dec 01 09:09:20.089 INFO [stderr] usermod: no changes Dec 01 09:09:20.176 INFO [stderr] Compiling frunk_core v0.2.0 Dec 01 09:09:41.592 INFO [stderr] Compiling frunk_derives v0.2.0 Dec 01 09:09:45.724 INFO [stderr] Checking frunk v0.2.0 Dec 01 09:09:46.884 INFO [stderr] Documenting dependent_traits v0.1.0 (/source) Dec 01 09:10:03.645 INFO [stderr] warning: `[v]` cannot be resolved, ignoring it... Dec 01 09:10:03.645 INFO [stderr] --> src/context.rs:1031:51 Dec 01 09:10:03.645 INFO [stderr] | Dec 01 09:10:03.646 INFO [stderr] 1031 | /// FStk(v,stk) represents an irreductible value [v] in the stack [stk]. Dec 01 09:10:03.646 INFO [stderr] | ^ cannot be resolved, ignoring Dec 01 09:10:03.646 INFO [stderr] | Dec 01 09:10:03.646 INFO [stderr] = note: #[warn(intra_doc_link_resolution_failure)] on by default Dec 01 09:10:03.646 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 09:10:03.646 INFO [stderr] Dec 01 09:10:03.646 INFO [stderr] warning: `[stk]` cannot be resolved, ignoring it... Dec 01 09:10:03.646 INFO [stderr] --> src/context.rs:1031:68 Dec 01 09:10:03.646 INFO [stderr] | Dec 01 09:10:03.646 INFO [stderr] 1031 | /// FStk(v,stk) represents an irreductible value [v] in the stack [stk]. Dec 01 09:10:03.647 INFO [stderr] | ^^^ cannot be resolved, ignoring Dec 01 09:10:03.647 INFO [stderr] | Dec 01 09:10:03.647 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 09:10:03.647 INFO [stderr] Dec 01 09:10:03.647 INFO [stderr] warning: `[v]` cannot be resolved, ignoring it... Dec 01 09:10:03.647 INFO [stderr] --> src/context.rs:1032:17 Dec 01 09:10:03.647 INFO [stderr] | Dec 01 09:10:03.647 INFO [stderr] 1032 | /// (Note that [v] is a WhdValue and [Stk] is a *reversed* Stack; the Dec 01 09:10:03.647 INFO [stderr] | ^ cannot be resolved, ignoring Dec 01 09:10:03.647 INFO [stderr] | Dec 01 09:10:03.647 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 09:10:03.647 INFO [stderr] Dec 01 09:10:03.647 INFO [stderr] warning: `[Stk]` cannot be resolved, ignoring it... Dec 01 09:10:03.648 INFO [stderr] --> src/context.rs:1032:39 Dec 01 09:10:03.648 INFO [stderr] | Dec 01 09:10:03.648 INFO [stderr] 1032 | /// (Note that [v] is a WhdValue and [Stk] is a *reversed* Stack; the Dec 01 09:10:03.648 INFO [stderr] | ^^^ cannot be resolved, ignoring Dec 01 09:10:03.648 INFO [stderr] | Dec 01 09:10:03.648 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 09:10:03.648 INFO [stderr] Dec 01 09:10:03.648 INFO [stderr] warning: `[S]` cannot be resolved, ignoring it... Dec 01 09:10:03.648 INFO [stderr] --> src/context.rs:1039:28 Dec 01 09:10:03.648 INFO [stderr] | Dec 01 09:10:03.648 INFO [stderr] 1039 | /// FCbn(t,S) is the term [S]t. It is used to delay evaluation. Dec 01 09:10:03.648 INFO [stderr] | ^ cannot be resolved, ignoring Dec 01 09:10:03.649 INFO [stderr] | Dec 01 09:10:03.649 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 09:10:03.649 INFO [stderr] Dec 01 09:10:03.649 INFO [stderr] warning: `[t]` cannot be resolved, ignoring it... Dec 01 09:10:03.649 INFO [stderr] --> src/context.rs:1040:17 Dec 01 09:10:03.649 INFO [stderr] | Dec 01 09:10:03.649 INFO [stderr] 1040 | /// (Note that [t] is a Constr and [S] is a substitution). Dec 01 09:10:03.649 INFO [stderr] | ^ cannot be resolved, ignoring Dec 01 09:10:03.649 INFO [stderr] | Dec 01 09:10:03.649 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 09:10:03.649 INFO [stderr] Dec 01 09:10:03.649 INFO [stderr] warning: `[S]` cannot be resolved, ignoring it... Dec 01 09:10:03.649 INFO [stderr] --> src/context.rs:1040:37 Dec 01 09:10:03.649 INFO [stderr] | Dec 01 09:10:03.649 INFO [stderr] 1040 | /// (Note that [t] is a Constr and [S] is a substitution). Dec 01 09:10:03.649 INFO [stderr] | ^ cannot be resolved, ignoring Dec 01 09:10:03.649 INFO [stderr] | Dec 01 09:10:03.649 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 09:10:03.649 INFO [stderr] Dec 01 09:10:03.649 INFO [stderr] warning: `[v]` cannot be resolved, ignoring it... Dec 01 09:10:03.649 INFO [stderr] --> src/context.rs:471:27 Dec 01 09:10:03.649 INFO [stderr] | Dec 01 09:10:03.649 INFO [stderr] 471 | /// substituted by value [v] under lams binders (i.e. v *has* to be Dec 01 09:10:03.649 INFO [stderr] | ^ cannot be resolved, ignoring Dec 01 09:10:03.649 INFO [stderr] | Dec 01 09:10:03.649 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 09:10:03.649 INFO [stderr] Dec 01 09:10:03.649 INFO [stderr] warning: `[lft1]` cannot be resolved, ignoring it... Dec 01 09:10:03.649 INFO [stderr] --> src/context.rs:1769:25 Dec 01 09:10:03.649 INFO [stderr] | Dec 01 09:10:03.649 INFO [stderr] 1769 | /// Conversion between [lft1]term1 and [lft2]term2 Dec 01 09:10:03.649 INFO [stderr] | ^^^^ cannot be resolved, ignoring Dec 01 09:10:03.649 INFO [stderr] | Dec 01 09:10:03.649 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 09:10:03.649 INFO [stderr] Dec 01 09:10:03.649 INFO [stderr] warning: `[lft2]` cannot be resolved, ignoring it... Dec 01 09:10:03.649 INFO [stderr] --> src/context.rs:1769:41 Dec 01 09:10:03.649 INFO [stderr] | Dec 01 09:10:03.649 INFO [stderr] 1769 | /// Conversion between [lft1]term1 and [lft2]term2 Dec 01 09:10:03.649 INFO [stderr] | ^^^^ cannot be resolved, ignoring Dec 01 09:10:03.649 INFO [stderr] | Dec 01 09:10:03.649 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 09:10:03.649 INFO [stderr] Dec 01 09:10:04.044 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 43.92s Dec 01 09:10:04.052 INFO [stderr] su: No module specific data is present Dec 01 09:10:04.608 INFO running `"docker" "inspect" "f4abcef010cf18b2bc24d1311be6a943b06d3b8717d0d763b387d74d0f8392ac"` Dec 01 09:10:04.864 INFO running `"docker" "rm" "-f" "f4abcef010cf18b2bc24d1311be6a943b06d3b8717d0d763b387d74d0f8392ac"` Dec 01 09:10:05.092 INFO [stdout] f4abcef010cf18b2bc24d1311be6a943b06d3b8717d0d763b387d74d0f8392ac