Nov 27 15:15:27.646 INFO documenting pythonesque/dependent_traits against try#f5a0bd723553ea4b7556bd7087b9f0919cafb483 for pr-55318 Nov 27 15:15:27.647 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55318/worker-6/try#f5a0bd723553ea4b7556bd7087b9f0919cafb483:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-55318/try#f5a0bd723553ea4b7556bd7087b9f0919cafb483:/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 +f5a0bd723553ea4b7556bd7087b9f0919cafb483-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.155 INFO [stdout] 8aad10f3ceee37cf8735ecfaf7ae3305df4bd6d69a3ac22b56890f2d7bb42c5d Nov 27 15:15:28.157 INFO running `"docker" "start" "-a" "8aad10f3ceee37cf8735ecfaf7ae3305df4bd6d69a3ac22b56890f2d7bb42c5d"` Nov 27 15:15:29.627 INFO [stderr] usermod: no changes Nov 27 15:15:29.731 INFO [stderr] Compiling frunk_core v0.2.0 Nov 27 15:15:50.940 INFO [stderr] Compiling frunk_derives v0.2.0 Nov 27 15:15:54.609 INFO [stderr] Checking frunk v0.2.0 Nov 27 15:15:55.577 INFO [stderr] Documenting dependent_traits v0.1.0 (/source) Nov 27 15:16:12.119 INFO [stderr] warning: `[v]` cannot be resolved, ignoring it... Nov 27 15:16:12.119 INFO [stderr] --> src/context.rs:1031:51 Nov 27 15:16:12.119 INFO [stderr] | Nov 27 15:16:12.121 INFO [stderr] 1031 | /// FStk(v,stk) represents an irreductible value [v] in the stack [stk]. Nov 27 15:16:12.121 INFO [stderr] | ^ cannot be resolved, ignoring Nov 27 15:16:12.121 INFO [stderr] | Nov 27 15:16:12.121 INFO [stderr] = note: #[warn(intra_doc_link_resolution_failure)] on by default Nov 27 15:16:12.121 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 27 15:16:12.121 INFO [stderr] Nov 27 15:16:12.121 INFO [stderr] warning: `[stk]` cannot be resolved, ignoring it... Nov 27 15:16:12.121 INFO [stderr] --> src/context.rs:1031:68 Nov 27 15:16:12.121 INFO [stderr] | Nov 27 15:16:12.121 INFO [stderr] 1031 | /// FStk(v,stk) represents an irreductible value [v] in the stack [stk]. Nov 27 15:16:12.121 INFO [stderr] | ^^^ cannot be resolved, ignoring Nov 27 15:16:12.121 INFO [stderr] | Nov 27 15:16:12.121 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 27 15:16:12.121 INFO [stderr] Nov 27 15:16:12.121 INFO [stderr] warning: `[v]` cannot be resolved, ignoring it... Nov 27 15:16:12.121 INFO [stderr] --> src/context.rs:1032:17 Nov 27 15:16:12.121 INFO [stderr] | Nov 27 15:16:12.121 INFO [stderr] 1032 | /// (Note that [v] is a WhdValue and [Stk] is a *reversed* Stack; the Nov 27 15:16:12.121 INFO [stderr] | ^ cannot be resolved, ignoring Nov 27 15:16:12.121 INFO [stderr] | Nov 27 15:16:12.121 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 27 15:16:12.121 INFO [stderr] Nov 27 15:16:12.121 INFO [stderr] warning: `[Stk]` cannot be resolved, ignoring it... Nov 27 15:16:12.121 INFO [stderr] --> src/context.rs:1032:39 Nov 27 15:16:12.121 INFO [stderr] | Nov 27 15:16:12.121 INFO [stderr] 1032 | /// (Note that [v] is a WhdValue and [Stk] is a *reversed* Stack; the Nov 27 15:16:12.121 INFO [stderr] | ^^^ cannot be resolved, ignoring Nov 27 15:16:12.121 INFO [stderr] | Nov 27 15:16:12.121 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 27 15:16:12.121 INFO [stderr] Nov 27 15:16:12.121 INFO [stderr] warning: `[S]` cannot be resolved, ignoring it... Nov 27 15:16:12.121 INFO [stderr] --> src/context.rs:1039:28 Nov 27 15:16:12.121 INFO [stderr] | Nov 27 15:16:12.121 INFO [stderr] 1039 | /// FCbn(t,S) is the term [S]t. It is used to delay evaluation. Nov 27 15:16:12.121 INFO [stderr] | ^ cannot be resolved, ignoring Nov 27 15:16:12.121 INFO [stderr] | Nov 27 15:16:12.121 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 27 15:16:12.121 INFO [stderr] Nov 27 15:16:12.121 INFO [stderr] warning: `[t]` cannot be resolved, ignoring it... Nov 27 15:16:12.121 INFO [stderr] --> src/context.rs:1040:17 Nov 27 15:16:12.121 INFO [stderr] | Nov 27 15:16:12.121 INFO [stderr] 1040 | /// (Note that [t] is a Constr and [S] is a substitution). Nov 27 15:16:12.121 INFO [stderr] | ^ cannot be resolved, ignoring Nov 27 15:16:12.121 INFO [stderr] | Nov 27 15:16:12.121 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 27 15:16:12.121 INFO [stderr] Nov 27 15:16:12.121 INFO [stderr] warning: `[S]` cannot be resolved, ignoring it... Nov 27 15:16:12.121 INFO [stderr] --> src/context.rs:1040:37 Nov 27 15:16:12.121 INFO [stderr] | Nov 27 15:16:12.122 INFO [stderr] 1040 | /// (Note that [t] is a Constr and [S] is a substitution). Nov 27 15:16:12.122 INFO [stderr] | ^ cannot be resolved, ignoring Nov 27 15:16:12.122 INFO [stderr] | Nov 27 15:16:12.123 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 27 15:16:12.123 INFO [stderr] Nov 27 15:16:12.123 INFO [stderr] warning: `[v]` cannot be resolved, ignoring it... Nov 27 15:16:12.123 INFO [stderr] --> src/context.rs:471:27 Nov 27 15:16:12.123 INFO [stderr] | Nov 27 15:16:12.124 INFO [stderr] 471 | /// substituted by value [v] under lams binders (i.e. v *has* to be Nov 27 15:16:12.124 INFO [stderr] | ^ cannot be resolved, ignoring Nov 27 15:16:12.124 INFO [stderr] | Nov 27 15:16:12.124 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 27 15:16:12.125 INFO [stderr] Nov 27 15:16:12.125 INFO [stderr] warning: `[lft1]` cannot be resolved, ignoring it... Nov 27 15:16:12.125 INFO [stderr] --> src/context.rs:1769:25 Nov 27 15:16:12.125 INFO [stderr] | Nov 27 15:16:12.126 INFO [stderr] 1769 | /// Conversion between [lft1]term1 and [lft2]term2 Nov 27 15:16:12.126 INFO [stderr] | ^^^^ cannot be resolved, ignoring Nov 27 15:16:12.126 INFO [stderr] | Nov 27 15:16:12.126 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 27 15:16:12.127 INFO [stderr] Nov 27 15:16:12.127 INFO [stderr] warning: `[lft2]` cannot be resolved, ignoring it... Nov 27 15:16:12.127 INFO [stderr] --> src/context.rs:1769:41 Nov 27 15:16:12.127 INFO [stderr] | Nov 27 15:16:12.128 INFO [stderr] 1769 | /// Conversion between [lft1]term1 and [lft2]term2 Nov 27 15:16:12.128 INFO [stderr] | ^^^^ cannot be resolved, ignoring Nov 27 15:16:12.128 INFO [stderr] | Nov 27 15:16:12.128 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 27 15:16:12.128 INFO [stderr] Nov 27 15:16:12.508 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 42.86s Nov 27 15:16:12.512 INFO [stderr] su: No module specific data is present Nov 27 15:16:14.180 INFO running `"docker" "inspect" "8aad10f3ceee37cf8735ecfaf7ae3305df4bd6d69a3ac22b56890f2d7bb42c5d"` Nov 27 15:16:14.511 INFO running `"docker" "rm" "-f" "8aad10f3ceee37cf8735ecfaf7ae3305df4bd6d69a3ac22b56890f2d7bb42c5d"` Nov 27 15:16:14.846 INFO [stdout] 8aad10f3ceee37cf8735ecfaf7ae3305df4bd6d69a3ac22b56890f2d7bb42c5d