Skip to content

Rollup of 21 pull requests#154629

Closed
JonathanBrouwer wants to merge 98 commits intorust-lang:mainfrom
JonathanBrouwer:rollup-4kICxoY
Closed

Rollup of 21 pull requests#154629
JonathanBrouwer wants to merge 98 commits intorust-lang:mainfrom
JonathanBrouwer:rollup-4kICxoY

Conversation

@JonathanBrouwer
Copy link
Copy Markdown
Contributor

Successful merges:

r? @ghost

Create a similar rollup

Jarcho and others added 30 commits November 26, 2025 06:05
The `_umtx_time` flags check in `read_umtx_time` used equality (`flags == abs_time`) instead of bitwise AND (`flags & abs_time != 0`) to detect `UMTX_ABSTIME`. While functionally equivalent for current valid inputs (0 or `UMTX_ABSTIME` alone), the equality check would silently treat an absolute timeout as relative if `flags` had `UMTX_ABSTIME` set alongside other bits. Additionally, unknown flags were silently accepted, whereas the FreeBSD kernel (`umtx_copyin_umtx_time()` in `kern_umtx.c`) rejects them with `EINVAL`.

The fix adds validation that rejects unsupported flags and switches to the standard bitwise AND pattern used elsewhere in the codebase (e.g. `O_APPEND`/`O_TRUNC` checks in `fs.rs`).
…threads

Unblock all threads with exceeded timeouts at once
This updates the rust-version file to 212b0d4.
Pull recent changes from https://github.com/rust-lang/rust via Josh.

Upstream ref: 212b0d4
Filtered ref: e8897faa70ed30070b7637e854418aa7aa5ea0d9
Upstream diff: rust-lang/rust@fd0c901...212b0d4

This merge was created using https://github.com/rust-lang/josh-sync.
CONTRIBUTING: explain how to build miri against a locally built rustc
test miri_start with and without std
This updates the rust-version file to 8a70352.
./miri toolchain: support overwriting the to-be-installed commit
This updates the rust-version file to 1174f78.
@rustbot rustbot added A-testsuite Area: The testsuite used to check the correctness of rustc A-tidy Area: The tidy tool S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-bootstrap Relevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap) T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-infra Relevant to the infrastructure team, which will review and decide on the PR/issue. T-libs Relevant to the library team, which will review and decide on the PR/issue. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver) labels Mar 31, 2026
@JonathanBrouwer
Copy link
Copy Markdown
Contributor Author

Trying commonly failed jobs
@bors try jobs=test-various,x86_64-gnu-aux,x86_64-gnu-llvm-21-3,x86_64-msvc-1,aarch64-apple,x86_64-mingw-1

@rust-bors

This comment has been minimized.

rust-bors bot pushed a commit that referenced this pull request Mar 31, 2026
Rollup of 21 pull requests


try-job: test-various
try-job: x86_64-gnu-aux
try-job: x86_64-gnu-llvm-21-3
try-job: x86_64-msvc-1
try-job: aarch64-apple
try-job: x86_64-mingw-1
@JonathanBrouwer
Copy link
Copy Markdown
Contributor Author

@bors try cancel

@rust-bors
Copy link
Copy Markdown
Contributor

rust-bors bot commented Mar 31, 2026

Try build cancelled. Cancelled workflows:

@JonathanBrouwer
Copy link
Copy Markdown
Contributor Author

Trying commonly failed jobs
@bors try jobs=test-various,x86_64-gnu-aux,x86_64-gnu-llvm-21-3,x86_64-msvc-1,aarch64-apple,x86_64-mingw-1,dist-x86_64-linux

@rust-bors

This comment has been minimized.

rust-bors bot pushed a commit that referenced this pull request Mar 31, 2026
Rollup of 21 pull requests


try-job: test-various
try-job: x86_64-gnu-aux
try-job: x86_64-gnu-llvm-21-3
try-job: x86_64-msvc-1
try-job: aarch64-apple
try-job: x86_64-mingw-1
try-job: dist-x86_64-linux
@JonathanBrouwer
Copy link
Copy Markdown
Contributor Author

JonathanBrouwer commented Mar 31, 2026

@bors r+ p=4
If try jobs succeed here we can replace #154628 with a big rollup
Mostly just r+'ing this so the fact that this is running is visible for other rollupers

@rust-bors
Copy link
Copy Markdown
Contributor

rust-bors bot commented Mar 31, 2026

📌 Commit 7fef380 has been approved by JonathanBrouwer

It is now in the queue for this repository.

@rust-bors rust-bors bot added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Mar 31, 2026
@rust-log-analyzer
Copy link
Copy Markdown
Collaborator

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

Click to see the possible cause of the failure (guessed by this bot)

272    |         -------  ^^^^^^^^^^^^     ^
273    |         |
274    |         unsatisfied trait bound introduced here
+    = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
275 
276 error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
277   --> $DIR/issue-38821.rs:23:23

301    |         -------  ^^^^^^^^^^^^     ^
302    |         |
303    |         unsatisfied trait bound introduced here
+    = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
304 
305 error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
306   --> $DIR/issue-38821.rs:23:10


The actual stderr differed from the expected stderr
To update references, rerun the tests and pass the `--bless` flag
To only update this specific test, also pass `--test-args associated-types/issue-38821.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/x86_64-unknown-linux-gnu/stage1/bin/rustc" "/checkout/tests/ui/associated-types/issue-38821.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/x86_64-unknown-linux-gnu/stage1" "--target=x86_64-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/x86_64-unknown-linux-gnu/test/ui/associated-types/issue-38821" "-A" "unused" "-W" "unused_attributes" "-A" "internal_features" "-A" "incomplete_features" "-A" "unused_parens" "-A" "unused_braces" "-Crpath" "-Cdebuginfo=0" "-Lnative=/checkout/obj/build/x86_64-unknown-linux-gnu/native/rust-test-helpers"
stdout: none
--- stderr -------------------------------
error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:37:1
   |
LL | pub enum ColumnInsertValue<Col, Expr> where
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
help: consider extending the `where` clause, but there might be an alternative better way to express this requirement
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull
   |                                                                         +++++++++++++++++++++++++++++++++++++

error[E0277]: the trait bound `<Col as Expression>::SqlType: IntoNullable` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:43:22
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>,
   |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
help: consider extending the `where` clause, but there might be an alternative better way to express this requirement
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull
   |                                                                         +++++++++++++++++++++++++++++++++++++

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:23:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |          ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
help: consider further restricting the associated type
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull,
   |                                                                       +++++++++++++++++++++++++++++++++++++++

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:23:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |          ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:23:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |          ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:37:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |          ----- in this derive macro expansion
...
LL | pub enum ColumnInsertValue<Col, Expr> where
   |          ^^^^^^^^^^^^^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
note: required for `ColumnInsertValue<Col, Expr>` to implement `Debug`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:37:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |          ----- in this derive macro expansion
...
LL | pub enum ColumnInsertValue<Col, Expr> where
   |          ^^^^^^^^^^^^^^^^^
...
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>,
   |                      ------------------------------------------------ unsatisfied trait bound
   = help: consider manually implementing `Debug` to avoid undesired bounds
help: consider further restricting the associated type
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull,
   |                                                                       +++++++++++++++++++++++++++++++++++++++

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:23:17
   |
LL | #[derive(Debug, Copy, Clone)]
   |                 ^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
help: consider further restricting the associated type
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull,
   |                                                                       +++++++++++++++++++++++++++++++++++++++

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:37:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |                 ---- in this derive macro expansion
...
LL | pub enum ColumnInsertValue<Col, Expr> where
   |          ^^^^^^^^^^^^^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
note: required for `ColumnInsertValue<Col, Expr>` to implement `Copy`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:37:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |                 ---- in this derive macro expansion
...
LL | pub enum ColumnInsertValue<Col, Expr> where
   |          ^^^^^^^^^^^^^^^^^
...
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>,
   |                      ------------------------------------------------ unsatisfied trait bound
help: consider further restricting the associated type
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull,
   |                                                                       +++++++++++++++++++++++++++++++++++++++

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:23:23
   |
LL | #[derive(Debug, Copy, Clone)]
   |                       ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
help: consider further restricting the associated type
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull,
   |                                                                       +++++++++++++++++++++++++++++++++++++++

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:23:23
   |
LL | #[derive(Debug, Copy, Clone)]
   |                       ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:23:23
   |
LL | #[derive(Debug, Copy, Clone)]
   |                       ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:37:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |                       ----- in this derive macro expansion
...
LL | pub enum ColumnInsertValue<Col, Expr> where
   |          ^^^^^^^^^^^^^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
note: required for `ColumnInsertValue<Col, Expr>` to implement `Clone`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:37:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |                       ----- in this derive macro expansion
...
LL | pub enum ColumnInsertValue<Col, Expr> where
   |          ^^^^^^^^^^^^^^^^^
...
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>,
   |                      ------------------------------------------------ unsatisfied trait bound
   = help: consider manually implementing `Clone` to avoid undesired bounds
help: consider further restricting the associated type
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull,
   |                                                                       +++++++++++++++++++++++++++++++++++++++

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:23:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |          ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:23:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |          ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:23:23
   |
LL | #[derive(Debug, Copy, Clone)]
   |                       ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:23:23
   |
LL | #[derive(Debug, Copy, Clone)]
   |                       ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:23:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |          ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:23:23
   |
LL | #[derive(Debug, Copy, Clone)]
   |                       ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

error: aborting due to 18 previous errors

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

@rust-log-analyzer
Copy link
Copy Markdown
Collaborator

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)
##[endgroup]
Executing "/scripts/stage_2_test_set1.sh"
+ /scripts/stage_2_test_set1.sh
+ '[' 1 == 1 ']'
+ echo 'PR_CI_JOB set; skipping tidy'
+ SKIP_TIDY='--skip tidy'
PR_CI_JOB set; skipping 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]
---

272    |         -------  ^^^^^^^^^^^^     ^
273    |         |
274    |         unsatisfied trait bound introduced here
+    = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
275 
276 error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
277   --> $DIR/issue-38821.rs:23:23

301    |         -------  ^^^^^^^^^^^^     ^
302    |         |
303    |         unsatisfied trait bound introduced here
+    = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
304 
305 error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
306   --> $DIR/issue-38821.rs:23:10


The actual stderr differed from the expected stderr
To update references, rerun the tests and pass the `--bless` flag
To only update this specific test, also pass `--test-args associated-types/issue-38821.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/associated-types/issue-38821.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/associated-types/issue-38821" "-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[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:37:1
   |
LL | pub enum ColumnInsertValue<Col, Expr> where
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
help: consider extending the `where` clause, but there might be an alternative better way to express this requirement
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull
   |                                                                         +++++++++++++++++++++++++++++++++++++

error[E0277]: the trait bound `<Col as Expression>::SqlType: IntoNullable` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:43:22
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>,
   |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
help: consider extending the `where` clause, but there might be an alternative better way to express this requirement
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull
   |                                                                         +++++++++++++++++++++++++++++++++++++

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:23:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |          ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
help: consider further restricting the associated type
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull,
   |                                                                       +++++++++++++++++++++++++++++++++++++++

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:23:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |          ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:23:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |          ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:37:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |          ----- in this derive macro expansion
...
LL | pub enum ColumnInsertValue<Col, Expr> where
   |          ^^^^^^^^^^^^^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
note: required for `ColumnInsertValue<Col, Expr>` to implement `Debug`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:37:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |          ----- in this derive macro expansion
...
LL | pub enum ColumnInsertValue<Col, Expr> where
   |          ^^^^^^^^^^^^^^^^^
...
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>,
   |                      ------------------------------------------------ unsatisfied trait bound
   = help: consider manually implementing `Debug` to avoid undesired bounds
help: consider further restricting the associated type
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull,
   |                                                                       +++++++++++++++++++++++++++++++++++++++

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:23:17
   |
LL | #[derive(Debug, Copy, Clone)]
   |                 ^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
help: consider further restricting the associated type
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull,
   |                                                                       +++++++++++++++++++++++++++++++++++++++

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:37:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |                 ---- in this derive macro expansion
...
LL | pub enum ColumnInsertValue<Col, Expr> where
   |          ^^^^^^^^^^^^^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
note: required for `ColumnInsertValue<Col, Expr>` to implement `Copy`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:37:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |                 ---- in this derive macro expansion
...
LL | pub enum ColumnInsertValue<Col, Expr> where
   |          ^^^^^^^^^^^^^^^^^
...
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>,
   |                      ------------------------------------------------ unsatisfied trait bound
help: consider further restricting the associated type
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull,
   |                                                                       +++++++++++++++++++++++++++++++++++++++

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:23:23
   |
LL | #[derive(Debug, Copy, Clone)]
   |                       ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
help: consider further restricting the associated type
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull,
   |                                                                       +++++++++++++++++++++++++++++++++++++++

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:23:23
   |
LL | #[derive(Debug, Copy, Clone)]
   |                       ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:23:23
   |
LL | #[derive(Debug, Copy, Clone)]
   |                       ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:37:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |                       ----- in this derive macro expansion
...
LL | pub enum ColumnInsertValue<Col, Expr> where
   |          ^^^^^^^^^^^^^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
note: required for `ColumnInsertValue<Col, Expr>` to implement `Clone`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:37:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |                       ----- in this derive macro expansion
...
LL | pub enum ColumnInsertValue<Col, Expr> where
   |          ^^^^^^^^^^^^^^^^^
...
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>,
   |                      ------------------------------------------------ unsatisfied trait bound
   = help: consider manually implementing `Clone` to avoid undesired bounds
help: consider further restricting the associated type
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull,
   |                                                                       +++++++++++++++++++++++++++++++++++++++

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:23:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |          ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:23:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |          ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:23:23
   |
LL | #[derive(Debug, Copy, Clone)]
   |                       ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:23:23
   |
LL | #[derive(Debug, Copy, Clone)]
   |                       ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:23:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |          ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
##[error]  --> /checkout/tests/ui/associated-types/issue-38821.rs:23:23
   |
LL | #[derive(Debug, Copy, Clone)]
   |                       ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> /checkout/tests/ui/associated-types/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

error: aborting due to 18 previous errors

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

@rust-bors rust-bors bot 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-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. labels Mar 31, 2026
@rust-bors
Copy link
Copy Markdown
Contributor

rust-bors bot commented Mar 31, 2026

PR #149350, which is a member of this rollup, was unapproved.

This rollup was thus unapproved.

@rustbot rustbot removed the S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. label Mar 31, 2026
@rust-bors rust-bors bot added the S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. label Mar 31, 2026
@rust-bors
Copy link
Copy Markdown
Contributor

rust-bors bot commented Mar 31, 2026

💔 Test for 50aabc1 failed: CI. Failed jobs:

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

Labels

A-attributes Area: Attributes (`#[…]`, `#![…]`) A-CI Area: Our Github Actions CI A-compiler-builtins Area: compiler-builtins (https://github.com/rust-lang/compiler-builtins) A-testsuite Area: The testsuite used to check the correctness of rustc A-tidy Area: The tidy tool rollup A PR which is a rollup S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. T-bootstrap Relevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap) T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-infra Relevant to the infrastructure team, which will review and decide on the PR/issue. T-libs Relevant to the library team, which will review and decide on the PR/issue. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver)

Projects

None yet

Development

Successfully merging this pull request may close these issues.