Skip to content

Move issue-16562 to tests/ui/generics/#154621

Open
DiveshK007 wants to merge 1 commit intorust-lang:mainfrom
DiveshK007:move-issue-16562-to-generics
Open

Move issue-16562 to tests/ui/generics/#154621
DiveshK007 wants to merge 1 commit intorust-lang:mainfrom
DiveshK007:move-issue-16562-to-generics

Conversation

@DiveshK007
Copy link
Copy Markdown

@DiveshK007 DiveshK007 commented Mar 31, 2026 •
edited by rustbot
Loading

Part of the ongoing effort to reorganize tests/ui/issues/ (tracking issue #130441).

Moves the regression test for #16562 (unconstrained type parameter E0207)
to a more descriptive location: tests/ui/generics/unconstrained-type-param-in-impl.rs

Changes:

  • Added issue link and description comment at top of file
  • Updated $DIR path in .stderr file
  • Renamed file to reflect what it actually tests

@DiveshK007
Move issue-16562 to tests/ui/generics/
3cc2df7 
Relocates regression test for rust-lang#16562 from tests/ui/issues/
to tests/ui/generics/ with a descriptive filename.
Adds issue link and description comment at top of file.
@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Mar 31, 2026
@rustbot
Copy link
Copy Markdown
Collaborator

rustbot commented Mar 31, 2026

r? @jdonszelmann

rustbot has assigned @jdonszelmann.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Why was this reviewer chosen?

The reviewer was selected based on:

  • Owners of files modified in this PR: compiler
  • compiler expanded to 69 candidates
  • Random selection from 12 candidates

@rustbot
Copy link
Copy Markdown
Collaborator

rustbot commented Mar 31, 2026

⚠️ Warning ⚠️

  • There are issue links (such as #123) in the commit messages of the following commits.
    Please move them to the PR description, to avoid spamming the issues with references to the commit, and so this bot can automatically canonicalize them to avoid issues with subtree.

@rust-log-analyzer
Copy link
Copy Markdown
Collaborator

rust-log-analyzer commented Mar 31, 2026

The job aarch64-gnu-llvm-21-1 failed! Check out the build log: (web) (plain enhanced) (plain)

Click to see the possible cause of the failure (guessed by this bot) 
Executing "/scripts/stage_2_test_set1.sh"
+ /scripts/stage_2_test_set1.sh
PR_CI_JOB set; skipping tidy
+ '[' 1 == 1 ']'
+ echo 'PR_CI_JOB set; skipping tidy'
+ SKIP_TIDY='--skip tidy'
+ ../x.py --stage 2 test --skip tidy --skip compiler --skip src
##[group]Building bootstrap
    Finished `dev` profile [unoptimized] target(s) in 0.04s
##[endgroup]
downloading https://static.rust-lang.org/dist/2026-03-05/rustfmt-nightly-aarch64-unknown-linux-gnu.tar.xz
---
1 error[E0207]: the type parameter `T` is not constrained by the impl trait, self type, or predicates
-   --> $DIR/unconstrained-type-param-in-impl.rs:10:6
+   --> $DIR/unconstrained-type-param-in-impl.rs:13:6
3    |
4 LL | impl<T, M: MatrixShape> Collection for Col<M, usize> {
5    |      ^ unconstrained type parameter

Note: some mismatched output was normalized before being compared
-   --> /checkout/tests/ui/generics/unconstrained-type-param-in-impl.rs:13:6
+   --> $DIR/unconstrained-type-param-in-impl.rs:13:6
---
To only update this specific test, also pass `--test-args generics/unconstrained-type-param-in-impl.rs`

error: 1 errors occurred comparing output.
status: exit status: 1
command: env -u RUSTC_LOG_COLOR RUSTC_ICE="0" RUST_BACKTRACE="short" "/checkout/obj/build/aarch64-unknown-linux-gnu/stage2/bin/rustc" "/checkout/tests/ui/generics/unconstrained-type-param-in-impl.rs" "-Zthreads=1" "-Zsimulate-remapped-rust-src-base=/rustc/FAKE_PREFIX" "-Ztranslate-remapped-path-to-local-path=no" "-Z" "ignore-directory-in-diagnostics-source-blocks=/cargo" "-Z" "ignore-directory-in-diagnostics-source-blocks=/checkout/vendor" "--sysroot" "/checkout/obj/build/aarch64-unknown-linux-gnu/stage2" "--target=aarch64-unknown-linux-gnu" "--check-cfg" "cfg(test,FALSE)" "--error-format" "json" "--json" "future-incompat" "-Ccodegen-units=1" "-Zui-testing" "-Zdeduplicate-diagnostics=no" "-Zwrite-long-types-to-disk=no" "-Cstrip=debuginfo" "--emit" "metadata" "-C" "prefer-dynamic" "--out-dir" "/checkout/obj/build/aarch64-unknown-linux-gnu/test/ui/generics/unconstrained-type-param-in-impl" "-A" "unused" "-W" "unused_attributes" "-A" "internal_features" "-A" "incomplete_features" "-A" "unused_parens" "-A" "unused_braces" "-Crpath" "-Cdebuginfo=0" "-Lnative=/checkout/obj/build/aarch64-unknown-linux-gnu/native/rust-test-helpers"
stdout: none
--- stderr -------------------------------
error[E0207]: the type parameter `T` is not constrained by the impl trait, self type, or predicates
##[error]  --> /checkout/tests/ui/generics/unconstrained-type-param-in-impl.rs:13:6
   |
LL | impl<T, M: MatrixShape> Collection for Col<M, usize> {
   |      ^ unconstrained type parameter

error: aborting due to 1 previous error

For more information about this error, try `rustc --explain E0207`.

@Kivooeo Kivooeo assigned Kivooeo and unassigned jdonszelmann Mar 31, 2026
@Kivooeo
Copy link
Copy Markdown
Member

Kivooeo commented Mar 31, 2026

  1. you need to rerun ./x test tests/ui/generics/unconstrained-type-param-in-impl.rs --bless
  2. remove commit message

@Kivooeo
Copy link
Copy Markdown
Member

Kivooeo commented Apr 8, 2026

@rustbot author

@rustbot rustbot added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Apr 8, 2026
@rustbot
Copy link
Copy Markdown
Collaborator

rustbot commented Apr 8, 2026

Reminder, once the PR becomes ready for a review, use @rustbot ready.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@Kivooeo Kivooeo

Labels

S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

5 participants

@DiveshK007 @rustbot @rust-log-analyzer @Kivooeo @jdonszelmann