Nov 28 08:20:45.411 INFO documenting term_rewriting-0.4.0 against try#f5a0bd723553ea4b7556bd7087b9f0919cafb483 for pr-55318
Nov 28 08:20:45.411 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55318/worker-7/try#f5a0bd723553ea4b7556bd7087b9f0919cafb483:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/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 28 08:20:45.752 INFO [stdout] 6e8d4d17f8b03f8c10bf3937eb4a5be3714c9a55c8f4f0207d771fcbaf6075fb
Nov 28 08:20:45.755 INFO running `"docker" "start" "-a" "6e8d4d17f8b03f8c10bf3937eb4a5be3714c9a55c8f4f0207d771fcbaf6075fb"`
Nov 28 08:20:47.230 INFO [stderr] usermod: no changes
Nov 28 08:20:47.335 INFO [stderr]     Checking memchr v2.1.1
Nov 28 08:20:48.214 INFO [stderr]     Checking nom v4.1.1
Nov 28 08:20:50.379 INFO [stderr]  Documenting term_rewriting v0.4.0 (/source)
Nov 28 08:20:53.007 INFO [stderr] warning: `[determinism]` cannot be resolved, ignoring it...
Nov 28 08:20:53.007 INFO [stderr]     --> src/types.rs:3097:21
Nov 28 08:20:53.007 INFO [stderr]      |
Nov 28 08:20:53.007 INFO [stderr] 3097 |     /// Remove any [`determinism`] restriction the `TRS` might be under.
Nov 28 08:20:53.007 INFO [stderr]      |                     ^^^^^^^^^^^^^ cannot be resolved, ignoring
Nov 28 08:20:53.007 INFO [stderr]      |
Nov 28 08:20:53.007 INFO [stderr]      = note: #[warn(intra_doc_link_resolution_failure)] on by default
Nov 28 08:20:53.007 INFO [stderr]      = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
Nov 28 08:20:53.007 INFO [stderr] 
Nov 28 08:20:53.007 INFO [stderr] warning: `[determinism]` cannot be resolved, ignoring it...
Nov 28 08:20:53.007 INFO [stderr]     --> src/types.rs:3101:14
Nov 28 08:20:53.007 INFO [stderr]      |
Nov 28 08:20:53.007 INFO [stderr] 3101 |     /// See [`determinism`] for more information.
Nov 28 08:20:53.007 INFO [stderr]      |              ^^^^^^^^^^^^^ cannot be resolved, ignoring
Nov 28 08:20:53.007 INFO [stderr]      |
Nov 28 08:20:53.007 INFO [stderr]      = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
Nov 28 08:20:53.007 INFO [stderr] 
Nov 28 08:20:53.007 INFO [stderr] warning: `[match]` cannot be resolved, ignoring it...
Nov 28 08:20:53.007 INFO [stderr]     --> src/types.rs:3392:23
Nov 28 08:20:53.007 INFO [stderr]      |
Nov 28 08:20:53.008 INFO [stderr] 3392 |     /// Does one TRS [`match`] another?
Nov 28 08:20:53.008 INFO [stderr]      |                       ^^^^^^^ cannot be resolved, ignoring
Nov 28 08:20:53.008 INFO [stderr]      |
Nov 28 08:20:53.008 INFO [stderr]      = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
Nov 28 08:20:53.008 INFO [stderr] 
Nov 28 08:20:53.008 INFO [stderr] warning: `[match]` cannot be resolved, ignoring it...
Nov 28 08:20:53.008 INFO [stderr]     --> src/types.rs:3394:14
Nov 28 08:20:53.008 INFO [stderr]      |
Nov 28 08:20:53.008 INFO [stderr] 3394 |     /// See [`match`] for more information.
Nov 28 08:20:53.008 INFO [stderr]      |              ^^^^^^^ cannot be resolved, ignoring
Nov 28 08:20:53.008 INFO [stderr]      |
Nov 28 08:20:53.008 INFO [stderr]      = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
Nov 28 08:20:53.008 INFO [stderr] 
Nov 28 08:20:53.211 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 5.95s
Nov 28 08:20:53.219 INFO [stderr] su: No module specific data is present
Nov 28 08:20:54.220 INFO running `"docker" "inspect" "6e8d4d17f8b03f8c10bf3937eb4a5be3714c9a55c8f4f0207d771fcbaf6075fb"`
Nov 28 08:20:54.529 INFO running `"docker" "rm" "-f" "6e8d4d17f8b03f8c10bf3937eb4a5be3714c9a55c8f4f0207d771fcbaf6075fb"`
Nov 28 08:20:54.879 INFO [stdout] 6e8d4d17f8b03f8c10bf3937eb4a5be3714c9a55c8f4f0207d771fcbaf6075fb