Dec 01 09:09:17.989 INFO documenting pythonesque/dependent_traits against master#147e60c5f89cfa2d3ffc247413956a37582c98e7 for pr-55318-1 Dec 01 09:09:17.989 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55318-1/worker-0/master#147e60c5f89cfa2d3ffc247413956a37582c98e7:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-55318-1/master#147e60c5f89cfa2d3ffc247413956a37582c98e7:/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 +147e60c5f89cfa2d3ffc247413956a37582c98e7-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:18.468 INFO [stdout] b7c8d802f53a64ac6f17dd9c57a5e56e0f972d90f085a8e8a4479153ec382e83 Dec 01 09:09:18.470 INFO running `"docker" "start" "-a" "b7c8d802f53a64ac6f17dd9c57a5e56e0f972d90f085a8e8a4479153ec382e83"` Dec 01 09:09:20.088 INFO [stderr] usermod: no changes Dec 01 09:09:20.200 INFO [stderr] Compiling frunk_core v0.2.0 Dec 01 09:09:41.727 INFO [stderr] Compiling frunk_derives v0.2.0 Dec 01 09:09:45.625 INFO [stderr] Checking frunk v0.2.0 Dec 01 09:09:46.680 INFO [stderr] Documenting dependent_traits v0.1.0 (/source) Dec 01 09:10:03.250 INFO [stderr] warning: `[v]` cannot be resolved, ignoring it... Dec 01 09:10:03.250 INFO [stderr] --> src/context.rs:1031:51 Dec 01 09:10:03.250 INFO [stderr] | Dec 01 09:10:03.250 INFO [stderr] 1031 | /// FStk(v,stk) represents an irreductible value [v] in the stack [stk]. Dec 01 09:10:03.250 INFO [stderr] | ^ cannot be resolved, ignoring Dec 01 09:10:03.250 INFO [stderr] | Dec 01 09:10:03.250 INFO [stderr] = note: #[warn(intra_doc_link_resolution_failure)] on by default Dec 01 09:10:03.250 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 09:10:03.250 INFO [stderr] Dec 01 09:10:03.250 INFO [stderr] warning: `[stk]` cannot be resolved, ignoring it... Dec 01 09:10:03.250 INFO [stderr] --> src/context.rs:1031:68 Dec 01 09:10:03.250 INFO [stderr] | Dec 01 09:10:03.250 INFO [stderr] 1031 | /// FStk(v,stk) represents an irreductible value [v] in the stack [stk]. Dec 01 09:10:03.250 INFO [stderr] | ^^^ cannot be resolved, ignoring Dec 01 09:10:03.250 INFO [stderr] | Dec 01 09:10:03.250 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 09:10:03.250 INFO [stderr] Dec 01 09:10:03.250 INFO [stderr] warning: `[v]` cannot be resolved, ignoring it... Dec 01 09:10:03.250 INFO [stderr] --> src/context.rs:1032:17 Dec 01 09:10:03.250 INFO [stderr] | Dec 01 09:10:03.250 INFO [stderr] 1032 | /// (Note that [v] is a WhdValue and [Stk] is a *reversed* Stack; the Dec 01 09:10:03.250 INFO [stderr] | ^ cannot be resolved, ignoring Dec 01 09:10:03.250 INFO [stderr] | Dec 01 09:10:03.250 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 09:10:03.250 INFO [stderr] Dec 01 09:10:03.250 INFO [stderr] warning: `[Stk]` cannot be resolved, ignoring it... Dec 01 09:10:03.250 INFO [stderr] --> src/context.rs:1032:39 Dec 01 09:10:03.250 INFO [stderr] | Dec 01 09:10:03.250 INFO [stderr] 1032 | /// (Note that [v] is a WhdValue and [Stk] is a *reversed* Stack; the Dec 01 09:10:03.250 INFO [stderr] | ^^^ cannot be resolved, ignoring Dec 01 09:10:03.250 INFO [stderr] | Dec 01 09:10:03.250 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 09:10:03.250 INFO [stderr] Dec 01 09:10:03.250 INFO [stderr] warning: `[S]` cannot be resolved, ignoring it... Dec 01 09:10:03.250 INFO [stderr] --> src/context.rs:1039:28 Dec 01 09:10:03.250 INFO [stderr] | Dec 01 09:10:03.251 INFO [stderr] 1039 | /// FCbn(t,S) is the term [S]t. It is used to delay evaluation. Dec 01 09:10:03.251 INFO [stderr] | ^ cannot be resolved, ignoring Dec 01 09:10:03.251 INFO [stderr] | Dec 01 09:10:03.251 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 09:10:03.251 INFO [stderr] Dec 01 09:10:03.251 INFO [stderr] warning: `[t]` cannot be resolved, ignoring it... Dec 01 09:10:03.251 INFO [stderr] --> src/context.rs:1040:17 Dec 01 09:10:03.251 INFO [stderr] | Dec 01 09:10:03.251 INFO [stderr] 1040 | /// (Note that [t] is a Constr and [S] is a substitution). Dec 01 09:10:03.251 INFO [stderr] | ^ cannot be resolved, ignoring Dec 01 09:10:03.251 INFO [stderr] | Dec 01 09:10:03.251 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 09:10:03.251 INFO [stderr] Dec 01 09:10:03.251 INFO [stderr] warning: `[S]` cannot be resolved, ignoring it... Dec 01 09:10:03.251 INFO [stderr] --> src/context.rs:1040:37 Dec 01 09:10:03.251 INFO [stderr] | Dec 01 09:10:03.251 INFO [stderr] 1040 | /// (Note that [t] is a Constr and [S] is a substitution). Dec 01 09:10:03.251 INFO [stderr] | ^ cannot be resolved, ignoring Dec 01 09:10:03.251 INFO [stderr] | Dec 01 09:10:03.251 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 09:10:03.251 INFO [stderr] Dec 01 09:10:03.251 INFO [stderr] warning: `[v]` cannot be resolved, ignoring it... Dec 01 09:10:03.251 INFO [stderr] --> src/context.rs:471:27 Dec 01 09:10:03.251 INFO [stderr] | Dec 01 09:10:03.251 INFO [stderr] 471 | /// substituted by value [v] under lams binders (i.e. v *has* to be Dec 01 09:10:03.251 INFO [stderr] | ^ cannot be resolved, ignoring Dec 01 09:10:03.251 INFO [stderr] | Dec 01 09:10:03.251 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 09:10:03.251 INFO [stderr] Dec 01 09:10:03.251 INFO [stderr] warning: `[lft1]` cannot be resolved, ignoring it... Dec 01 09:10:03.251 INFO [stderr] --> src/context.rs:1769:25 Dec 01 09:10:03.251 INFO [stderr] | Dec 01 09:10:03.251 INFO [stderr] 1769 | /// Conversion between [lft1]term1 and [lft2]term2 Dec 01 09:10:03.251 INFO [stderr] | ^^^^ cannot be resolved, ignoring Dec 01 09:10:03.251 INFO [stderr] | Dec 01 09:10:03.251 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 09:10:03.251 INFO [stderr] Dec 01 09:10:03.251 INFO [stderr] warning: `[lft2]` cannot be resolved, ignoring it... Dec 01 09:10:03.251 INFO [stderr] --> src/context.rs:1769:41 Dec 01 09:10:03.251 INFO [stderr] | Dec 01 09:10:03.251 INFO [stderr] 1769 | /// Conversion between [lft1]term1 and [lft2]term2 Dec 01 09:10:03.251 INFO [stderr] | ^^^^ cannot be resolved, ignoring Dec 01 09:10:03.251 INFO [stderr] | Dec 01 09:10:03.251 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 09:10:03.251 INFO [stderr] Dec 01 09:10:03.629 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 43.52s Dec 01 09:10:03.633 INFO [stderr] su: No module specific data is present Dec 01 09:10:04.602 INFO running `"docker" "inspect" "b7c8d802f53a64ac6f17dd9c57a5e56e0f972d90f085a8e8a4479153ec382e83"` Dec 01 09:10:04.910 INFO running `"docker" "rm" "-f" "b7c8d802f53a64ac6f17dd9c57a5e56e0f972d90f085a8e8a4479153ec382e83"` Dec 01 09:10:05.257 INFO [stdout] b7c8d802f53a64ac6f17dd9c57a5e56e0f972d90f085a8e8a4479153ec382e83