Add regression test for #24424.

[frewsxcv]

Fixes #24424.

[rust-highfive]

Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @alexcrichton (or someone else) soon.

If any changes to this PR are deemed necessary, please add them as extra commits. This ensures that the reviewer can see what has changed since they last reviewed the code. Due to the way GitHub handles out-of-date commits, this should also make it reasonably obvious what issues have or haven't been addressed. Large or tricky changes may require several passes of review and changes.

Please see the contribution instructions for more information.

[alexcrichton]

@bors: r+ 913fbb5418d6526031d1d9f9066454cf42037769

[frewsxcv]

What did I do incorrectly here?

thread 'main' panicked at 'Some tests failed
---- [compile-fail] compile-fail/issue-24424.rs stdout ----

error: /build/src/test/compile-fail/issue-24424.rs:14: unexpected "error": '14:1: 14:89: type annotations required: cannot resolve `T0: Trait0<'l0>` [E0283]'
error: /build/src/test/compile-fail/issue-24424.rs:14: expected error not found: type annotations required: cannot resolve `T0: main::Trait0<'l0>`
error: 1 unexpected errors found, 1 expected errors not found
status: exit code: 101
command: x86_64-unknown-linux-gnu/stage2/bin/rustc /build/src/test/compile-fail/issue-24424.rs -L x86_64-unknown-linux-gnu/test/compile-fail/ --target=x86_64-unknown-linux-gnu --error-format json -Z unstable-options -L x86_64-unknown-linux-gnu/test/compile-fail/issue-24424.stage2-x86_64-unknown-linux-gnu.compile-fail.libaux -C prefer-dynamic -o x86_64-unknown-linux-gnu/test/compile-fail/issue-24424.stage2-x86_64-unknown-linux-gnu --cfg rtopt -C rpath -O -L x86_64-unknown-linux-gnu/rt
actual errors (from JSON output): [
    Error {
        line_num: 14,
        kind: Some(
            Error
        ),
        msg: "14:1: 14:89: type annotations required: cannot resolve `T0: Trait0<\'l0>` [E0283]"
    },
    Error {
        line_num: 14,
        kind: Some(
            Note
        ),
        msg: "14:1: 14:89: required by `Trait0`"
    }
]
expected errors (from test file): [
    Error {
        line_num: 14,
        kind: Some(
            Error
        ),
        msg: "type annotations required: cannot resolve `T0: main::Trait0<\'l0>`"
    }
]

[alexcrichton]

Looks like a note may need to be specified as well?

[frewsxcv]

Looks like the note was not the problem.

failures:
---- [compile-fail] compile-fail/issue-24424.rs stdout ----

error: /build/src/test/compile-fail/issue-24424.rs:14: unexpected "error": '14:1: 14:89: type annotations required: cannot resolve `T0: Trait0<'l0>` [E0283]'
error: /build/src/test/compile-fail/issue-24424.rs:14: expected error not found: type annotations required: cannot resolve `T0: main::Trait0<'l0>`
error: 1 unexpected errors found, 1 expected errors not found
status: exit code: 101
command: x86_64-unknown-linux-gnu/stage2/bin/rustc /build/src/test/compile-fail/issue-24424.rs -L x86_64-unknown-linux-gnu/test/compile-fail/ --target=x86_64-unknown-linux-gnu --error-format json -Z unstable-options -L x86_64-unknown-linux-gnu/test/compile-fail/issue-24424.stage2-x86_64-unknown-linux-gnu.compile-fail.libaux -C prefer-dynamic -o x86_64-unknown-linux-gnu/test/compile-fail/issue-24424.stage2-x86_64-unknown-linux-gnu --cfg rtopt -C rpath -O -L x86_64-unknown-linux-gnu/rt
actual errors (from JSON output): [
    Error {
        line_num: 14,
        kind: Some(
            Error
        ),
        msg: "14:1: 14:89: type annotations required: cannot resolve `T0: Trait0<\'l0>` [E0283]"
    },
    Error {
        line_num: 14,
        kind: Some(
            Note
        ),
        msg: "14:1: 14:89: required by `Trait0`"
    }
]
expected errors (from test file): [
    Error {
        line_num: 14,
        kind: Some(
            Error
        ),
        msg: "type annotations required: cannot resolve `T0: main::Trait0<\'l0>`"
    },
    Error {
        line_num: 14,
        kind: Some(
            Note
        ),
        msg: "required by `Trait0`"
    }
]
thread '[compile-fail] compile-fail/issue-24424.rs' panicked at 'explicit panic', /build/src/tools/compiletest/src/runtest.rs:1077
note: Run with `RUST_BACKTRACE=1` for a backtrace.
failures:
    [compile-fail] compile-fail/issue-24424.rs
test result: FAILED. 2377 passed; 1 failed; 11 ignored; 0 measured

[dsprenkels]

Diff. 😃

type annotations required: cannot resolve `T0: Trait0<\'l0>`
type annotations required: cannot resolve `T0: main::Trait0<\'l0>`
                                               ^~~~~~

[frewsxcv]

Tests pass now.

[sanxiyn]

@bors r+

[bors]

📌 Commit 0abee31 has been approved by sanxiyn

[bors]

⌛ Testing commit 0abee31 with merge f019e38...

[bors]

☀️ Test successful - auto-linux-32-nopt-t, auto-linux-32-opt, auto-linux-64-cargotest, auto-linux-64-cross-freebsd, auto-linux-64-debug-opt, auto-linux-64-nopt-t, auto-linux-64-opt, auto-linux-64-opt-mir, auto-linux-64-opt-rustbuild, auto-linux-64-x-android-t, auto-linux-cross-opt, auto-linux-musl-64-opt, auto-mac-32-opt, auto-mac-64-opt, auto-mac-64-opt-rustbuild, auto-mac-cross-ios-opt, auto-win-gnu-32-opt, auto-win-gnu-32-opt-rustbuild, auto-win-gnu-64-opt, auto-win-msvc-32-opt, auto-win-msvc-64-cargotest, auto-win-msvc-64-opt, auto-win-msvc-64-opt-mir, auto-win-msvc-64-opt-rustbuild