Don't suggest restricting bound with unstable traits on stable and mention it's unstable on nightly #133522

estebank · 2024-11-27T03:22:33Z

On nightly, we mention the trait is unstable

error[E0277]: the trait bound `T: Unstable` is not satisfied
  --> $DIR/unstable-trait-suggestion.rs:13:9
   |
LL |     foo(t)
   |     --- ^ the trait `Unstable` is not implemented for `T`
   |     |
   |     required by a bound introduced by this call
   |
note: required by a bound in `foo`
  --> $DIR/unstable-trait-suggestion.rs:9:11
   |
LL | fn foo<T: Unstable>(_: T) {}
   |           ^^^^^^^^ required by this bound in `foo`
help: consider restricting type parameter `T` but it is an `unstable` trait
   |
LL | pub fn demo<T: Unstable>(t: T) {
   |              ++++++++++

On stable, we don't suggest the trait at all

error[E0277]: the trait bound `T: Unstable` is not satisfied
  --> $DIR/unstable-trait-suggestion.rs:13:9
   |
LL |     foo(t)
   |     --- ^ the trait `Unstable` is not implemented for `T`
   |     |
   |     required by a bound introduced by this call
   |
note: required by a bound in `foo`
  --> $DIR/unstable-trait-suggestion.rs:9:11
   |
LL | fn foo<T: Unstable>(_: T) {}
   |           ^^^^^^^^ required by this bound in `foo`

Fix #133511.

rustbot · 2024-11-27T03:22:42Z

r? @BoxyUwU

rustbot has assigned @BoxyUwU.
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

compiler-errors · 2024-11-27T03:37:46Z

tests/ui/layout/rust-call-abi-not-a-tuple-ice-81974.stderr

@@ -6,7 +6,7 @@ LL | impl<A, B> FnOnce<A> for CachedFun<A, B>
   |
 note: required by a bound in `FnOnce`
  --> $SRC_DIR/core/src/ops/function.rs:LL:COL
-help: consider further restricting this bound
+help: consider further restricting this bound but it is an `unstable` trait


nit: unstable is not a keyword, and "but" feels awkward here... maybe put it in parens and use "although" instead?

consider further restricting this bound (although this is an unstable trait)

maybe "although note that it is unstable" in the parentheses?

I also think the "it" here is a bit unclear, on first reading I thought "it" referred to T and was then thrown off by T being an unstable trait

Perhaps the trait could be named or something like "the new bound" or "the bound added below" be used instead?

the "it" is the trait, not really the bound

"but note that the trait is unstable"?

sure, but if you're going to use "but" please still put it in parentheses or at least add a comma, since it's still a bit awkward grammatically

Drive-by comment: perhaps it would be easier if the types were explicitly named? For example:

error[E0277]: functions with the "rust-call" ABI must take a single non-self tuple argument --> $DIR/rust-call-abi-not-a-tuple-ice-81974.rs:31:5 | LL | extern "rust-call" fn call_once(mut self, a: A) -> Self::Output { | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Tuple` is not implemented for `A` | help: consider adding the unstable trait `Tuple` to the bounds of `A` | LL | A: Eq + Hash + Clone + std::marker::Tuple, | ++++++++++++++++++++

Then the stability or non-stability can be added via the phrase "consider adding the trait Tuple to the bounds of A" / "consider adding the unstable trait Tuple to the bounds of A`".

Alternatively, it could be suggested via a separate note:

error[E0277]: functions with the "rust-call" ABI must take a single non-self tuple argument --> $DIR/rust-call-abi-not-a-tuple-ice-81974.rs:31:5 | LL | extern "rust-call" fn call_once(mut self, a: A) -> Self::Output { | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Tuple` is not implemented for `A` | help: consider adding the trait `Tuple` to the bounds of `A` | LL | A: Eq + Hash + Clone + std::marker::Tuple, | ++++++++++++++++++++ note: the trait `Tuple` is unstable

Changed to "help: consider restricting type parameter T with unstable trait Unstable".

compiler-errors · 2024-11-28T19:01:23Z

tests/rustdoc-ui/synthetic-auto-trait-impls/projections-in-super-trait-bound-unsatisfied.stderr

@@ -4,7 +4,7 @@ error[E0277]: the trait bound `C: Bar<5>` is not satisfied
 LL | pub struct Structure<C: Tec> {
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Bar<5>` is not implemented for `C`
   |
-help: consider further restricting this bound
+help: consider further restricting this bound with trait `Bar<5>`


Could you change this to use print_only_trait_name rather than printing the binder and the args?

I first of all don't think mentioning the name is really that useful, since it's already there in the suggestion, but if we're going to mention it at all, it's probably only worthwhile to suggest only the trait name.

Rendering the binder and substs runs the risk of printing a really overly long trait ref here, since we may have large types in the args.

We could only mention the trait for unsafe ones (as I originally intended in the PR, to keep the diff small).

The only issue against using the "name only" is when we have more than one bound being suggested, but we have to handle that anyways...

I think it's fine either way, was just mentioning that it feels a bit redundant. Name only seems like a good compromise.

Addressed (edit: but not on this file ? edit 2: tests/rustdoc-ui 🤦 edit 3: actually, just github linking to the older version 2x🤦). It adds a bunch of logic, but it does look better.

was just mentioning that it feels a bit redundant

Yeah, but that was a review request though. I feel like it might be useful for the sake of suggestions being presented without context. I don't feel strongly one way or another.

rustbot · 2024-11-28T19:31:45Z

This PR modifies tests/run-make/. If this PR is trying to port a Makefile
run-make test to use rmake.rs, please update the
run-make port tracking issue
so we can track our progress. You can either modify the tracking issue
directly, or you can comment on the tracking issue and link this PR.

cc @jieyouxu

rustbot · 2024-11-28T22:29:53Z

Some changes occurred to the CTFE machinery

cc @rust-lang/wg-const-eval

rustbot · 2024-11-28T23:44:24Z

HIR ty lowering was modified

cc @fmease

compiler-errors · 2024-11-28T23:59:48Z

I'll review later

compiler-errors · 2024-12-03T03:06:27Z

@bors r+ rollup

bors · 2024-12-03T03:06:30Z

📌 Commit 05e6714 has been approved by compiler-errors

It is now in the queue for this repository.

…it, r=compiler-errors Don't suggest restricting bound with unstable traits on stable and mention it's unstable on nightly On nightly, we mention the trait is unstable ``` error[E0277]: the trait bound `T: Unstable` is not satisfied --> $DIR/unstable-trait-suggestion.rs:13:9 | LL | foo(t) | --- ^ the trait `Unstable` is not implemented for `T` | | | required by a bound introduced by this call | note: required by a bound in `foo` --> $DIR/unstable-trait-suggestion.rs:9:11 | LL | fn foo<T: Unstable>(_: T) {} | ^^^^^^^^ required by this bound in `foo` help: consider restricting type parameter `T` but it is an `unstable` trait | LL | pub fn demo<T: Unstable>(t: T) { | ++++++++++ ``` On stable, we don't suggest the trait at all ``` error[E0277]: the trait bound `T: Unstable` is not satisfied --> $DIR/unstable-trait-suggestion.rs:13:9 | LL | foo(t) | --- ^ the trait `Unstable` is not implemented for `T` | | | required by a bound introduced by this call | note: required by a bound in `foo` --> $DIR/unstable-trait-suggestion.rs:9:11 | LL | fn foo<T: Unstable>(_: T) {} | ^^^^^^^^ required by this bound in `foo` ``` Fix rust-lang#133511.

…iaskrgr Rollup of 8 pull requests Successful merges: - rust-lang#133089 (Stabilize noop_waker) - rust-lang#133522 (Don't suggest restricting bound with unstable traits on stable and mention it's unstable on nightly) - rust-lang#133545 (Lint against Symbol::intern on a string literal) - rust-lang#133558 (Structurally resolve in `probe_adt`) - rust-lang#133753 (Reduce false positives on some common cases from if-let-rescope lint) - rust-lang#133762 (stabilize const_{size,align}_of_val) - rust-lang#133777 (document -Zrandomize-layout in the unstable book) - rust-lang#133779 (Use correct `hir_id` for array const arg infers) r? `@ghost` `@rustbot` modify labels: rollup

…it, r=compiler-errors Don't suggest restricting bound with unstable traits on stable and mention it's unstable on nightly On nightly, we mention the trait is unstable ``` error[E0277]: the trait bound `T: Unstable` is not satisfied --> $DIR/unstable-trait-suggestion.rs:13:9 | LL | foo(t) | --- ^ the trait `Unstable` is not implemented for `T` | | | required by a bound introduced by this call | note: required by a bound in `foo` --> $DIR/unstable-trait-suggestion.rs:9:11 | LL | fn foo<T: Unstable>(_: T) {} | ^^^^^^^^ required by this bound in `foo` help: consider restricting type parameter `T` but it is an `unstable` trait | LL | pub fn demo<T: Unstable>(t: T) { | ++++++++++ ``` On stable, we don't suggest the trait at all ``` error[E0277]: the trait bound `T: Unstable` is not satisfied --> $DIR/unstable-trait-suggestion.rs:13:9 | LL | foo(t) | --- ^ the trait `Unstable` is not implemented for `T` | | | required by a bound introduced by this call | note: required by a bound in `foo` --> $DIR/unstable-trait-suggestion.rs:9:11 | LL | fn foo<T: Unstable>(_: T) {} | ^^^^^^^^ required by this bound in `foo` ``` Fix rust-lang#133511.

On nightly, we mention the trait is unstable ``` error[E0277]: the trait bound `T: Unstable` is not satisfied --> $DIR/unstable-trait-suggestion.rs:13:9 | LL | foo(t) | --- ^ the trait `Unstable` is not implemented for `T` | | | required by a bound introduced by this call | note: required by a bound in `foo` --> $DIR/unstable-trait-suggestion.rs:9:11 | LL | fn foo<T: Unstable>(_: T) {} | ^^^^^^^^ required by this bound in `foo` help: consider restricting type parameter `T` but it is an `unstable` trait | LL | pub fn demo<T: Unstable>(t: T) { | ++++++++++ ``` On stable, we don't suggest the trait at all ``` error[E0277]: the trait bound `T: Unstable` is not satisfied --> $DIR/unstable-trait-suggestion.rs:13:9 | LL | foo(t) | --- ^ the trait `Unstable` is not implemented for `T` | | | required by a bound introduced by this call | note: required by a bound in `foo` --> $DIR/unstable-trait-suggestion.rs:9:11 | LL | fn foo<T: Unstable>(_: T) {} | ^^^^^^^^ required by this bound in `foo` ```

This test will break when `Step` gets stabilized, but punt until then.

``` help: consider restricting type parameter `T` with traits `Copy` and `Trait` | LL | fn duplicate_custom<T: Copy + Trait>(t: S<T>) -> (S<T>, S<T>) { | ++++++++++++++ ``` ``` help: consider restricting type parameter `V` with trait `Copy` | LL | fn index<'a, K, V: std::marker::Copy>(map: &'a HashMap<K, V>, k: K) -> &'a V { | +++++++++++++++++++ ```

…lready there

Pass in an appropriate `Option<DefId>` in more cases from hir ty lowering.

estebank · 2024-12-08T00:38:12Z

@bors r=compiler-errors

bors · 2024-12-08T00:38:15Z

📌 Commit 25ad047 has been approved by compiler-errors

It is now in the queue for this repository.

…it, r=compiler-errors Don't suggest restricting bound with unstable traits on stable and mention it's unstable on nightly On nightly, we mention the trait is unstable ``` error[E0277]: the trait bound `T: Unstable` is not satisfied --> $DIR/unstable-trait-suggestion.rs:13:9 | LL | foo(t) | --- ^ the trait `Unstable` is not implemented for `T` | | | required by a bound introduced by this call | note: required by a bound in `foo` --> $DIR/unstable-trait-suggestion.rs:9:11 | LL | fn foo<T: Unstable>(_: T) {} | ^^^^^^^^ required by this bound in `foo` help: consider restricting type parameter `T` but it is an `unstable` trait | LL | pub fn demo<T: Unstable>(t: T) { | ++++++++++ ``` On stable, we don't suggest the trait at all ``` error[E0277]: the trait bound `T: Unstable` is not satisfied --> $DIR/unstable-trait-suggestion.rs:13:9 | LL | foo(t) | --- ^ the trait `Unstable` is not implemented for `T` | | | required by a bound introduced by this call | note: required by a bound in `foo` --> $DIR/unstable-trait-suggestion.rs:9:11 | LL | fn foo<T: Unstable>(_: T) {} | ^^^^^^^^ required by this bound in `foo` ``` Fix rust-lang#133511.

…kingjubilee Rollup of 10 pull requests Successful merges: - rust-lang#133522 (Don't suggest restricting bound with unstable traits on stable and mention it's unstable on nightly) - rust-lang#133733 ( compiletest: show the difference between the normalized output and the actual output for lines which didn't match) - rust-lang#133861 (Add allocate_bytes and refactor allocate_str in InterpCx for raw byte…) - rust-lang#133967 ([AIX] Pass -bnoipath when adding rust upstream dynamic crates) - rust-lang#133976 (Removed Unnecessary Spaces From RELEASES.md) - rust-lang#133980 ([AIX] Remove option "-n" from AIX "ln" command) - rust-lang#133987 (Define acronym for thread local storage) - rust-lang#133992 (Actually walk into lifetimes and attrs in `EarlyContextAndPass`) - rust-lang#133993 (Fix: typo in E0751 error explanation) - rust-lang#133996 (Move most tests for `-l` and `#[link(..)]` into `tests/ui/link-native-libs`) r? `@ghost` `@rustbot` modify labels: rollup

workingjubilee · 2024-12-08T08:46:33Z

actually conflict-prone it seems

@bors rollup=iffy

…kingjubilee Rollup of 5 pull requests Successful merges: - rust-lang#131669 (lint: change help for pointers to dyn types in FFI) - rust-lang#133184 (wasi/fs: Improve stopping condition for <ReadDir as Iterator>::next) - rust-lang#133265 (Add a range argument to vec.extract_if) - rust-lang#133456 (Add licenses + Run `cargo update`) - rust-lang#133767 (Add more info on type/trait mismatches for different crate versions) Failed merges: - rust-lang#133522 (Don't suggest restricting bound with unstable traits on stable and mention it's unstable on nightly) r? `@ghost` `@rustbot` modify labels: rollup

jieyouxu · 2024-12-08T08:52:26Z

@bors p=1 (conflict-prone)

bors · 2024-12-08T09:12:34Z

⌛ Testing commit 25ad047 with merge f415c07...

bors · 2024-12-08T11:57:35Z

☀️ Test successful - checks-actions
Approved by: compiler-errors
Pushing f415c07 to master...

rust-timer · 2024-12-08T13:15:24Z

Finished benchmarking commit (f415c07): comparison URL.

Overall result: ❌ regressions - no action needed

@rustbot label: -perf-regression

Instruction count

This is the most reliable metric that we have; it was used to determine the overall result at the top of this comment. However, even this metric can sometimes exhibit noise.

	mean	range	count
Regressions ❌ (primary)	-	-	0
Regressions ❌ (secondary)	2.3%	[2.3%, 2.3%]	1
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	-	-	0

Max RSS (memory usage)

Results (primary 0.7%)

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

	mean	range	count
Regressions ❌ (primary)	2.8%	[2.8%, 2.8%]	1
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-1.4%	[-1.4%, -1.4%]	1
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	0.7%	[-1.4%, 2.8%]	2

Cycles

This benchmark run did not return any relevant results for this metric.

Binary size

This benchmark run did not return any relevant results for this metric.

Bootstrap: 766.806s -> 766.757s (-0.01%)
Artifact size: 330.83 MiB -> 330.86 MiB (0.01%)

rustbot assigned BoxyUwU Nov 27, 2024

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 Nov 27, 2024

compiler-errors reviewed Nov 27, 2024

View reviewed changes

estebank force-pushed the dont-suggest-unstable-trait branch from 932462b to e3dfae8 Compare November 28, 2024 18:43

rustbot added the WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver) label Nov 28, 2024

compiler-errors reviewed Nov 28, 2024

View reviewed changes

rustbot added the A-run-make Area: port run-make Makefiles to rmake.rs label Nov 28, 2024

This comment has been minimized.

Sign in to view

estebank force-pushed the dont-suggest-unstable-trait branch 2 times, most recently from 0fdd990 to c34079a Compare November 28, 2024 20:26

This comment has been minimized.

Sign in to view

compiler-errors assigned compiler-errors and unassigned BoxyUwU Nov 28, 2024

compiler-errors approved these changes Dec 3, 2024

View reviewed changes

bors 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 Dec 3, 2024

matthiaskrgr mentioned this pull request Dec 3, 2024

Rollup of 8 pull requests #133783

Closed

jhpratt mentioned this pull request Dec 3, 2024

Rollup of 10 pull requests #133786

Closed

estebank added 10 commits December 7, 2024 21:10

reword trait bound suggestion message to include the bounds

d13c348

Add test for lack of suggestion in stable

568b0ac

This test will break when `Step` gets stabilized, but punt until then.

Mention type parameter in more cases and don't suggest ~const bound a…

d860e5b

…lready there

Account for impl Trait in "add bound" suggestion message

cb4db0a

fix rustdoc test

af09423

Do not talk about "trait <Foo = Bar>"

b466405

Pass in an appropriate `Option<DefId>` in more cases from hir ty lowering.

Use run-make diff output for stable output test

6277fb0

Tweak wording

25ad047

estebank force-pushed the dont-suggest-unstable-trait branch from 05e6714 to 25ad047 Compare December 7, 2024 22:18

workingjubilee mentioned this pull request Dec 8, 2024

Rollup of 10 pull requests #134019

Closed

workingjubilee mentioned this pull request Dec 8, 2024

Rollup of 5 pull requests #134027

Closed

bors added the merged-by-bors This PR was explicitly merged by bors. label Dec 8, 2024

bors merged commit f415c07 into rust-lang:master Dec 8, 2024
7 checks passed

rustbot added this to the 1.85.0 milestone Dec 8, 2024

This was referenced Dec 8, 2024

Add a range argument to vec.extract_if #133265

Merged

Reject unconstrained lifetimes in type_of(assoc_ty) instead of during wfcheck of the impl item #127973

Closed

Constify PartialEq #133995

Open

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Don't suggest restricting bound with unstable traits on stable and mention it's unstable on nightly #133522

Don't suggest restricting bound with unstable traits on stable and mention it's unstable on nightly #133522

estebank commented Nov 27, 2024

rustbot commented Nov 27, 2024

compiler-errors Nov 27, 2024

compiler-errors Nov 27, 2024

juntyr Nov 27, 2024

compiler-errors Nov 27, 2024

estebank Nov 27, 2024

compiler-errors Nov 27, 2024

cramertj Nov 27, 2024

estebank Nov 28, 2024

compiler-errors Nov 28, 2024

compiler-errors Nov 28, 2024

estebank Nov 28, 2024

compiler-errors Nov 28, 2024

estebank Nov 28, 2024 •

edited

Loading

estebank Nov 28, 2024

rustbot commented Nov 28, 2024

This comment has been minimized.

rustbot commented Nov 28, 2024

This comment has been minimized.

rustbot commented Nov 28, 2024

compiler-errors commented Nov 28, 2024

compiler-errors commented Dec 3, 2024

bors commented Dec 3, 2024

estebank commented Dec 8, 2024

bors commented Dec 8, 2024

workingjubilee commented Dec 8, 2024

jieyouxu commented Dec 8, 2024

bors commented Dec 8, 2024

bors commented Dec 8, 2024

rust-timer commented Dec 8, 2024

Don't suggest restricting bound with unstable traits on stable and mention it's unstable on nightly #133522

Don't suggest restricting bound with unstable traits on stable and mention it's unstable on nightly #133522

Conversation

estebank commented Nov 27, 2024

rustbot commented Nov 27, 2024

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

estebank Nov 28, 2024 • edited Loading

Choose a reason for hiding this comment

Choose a reason for hiding this comment

rustbot commented Nov 28, 2024

This comment has been minimized.

rustbot commented Nov 28, 2024

This comment has been minimized.

rustbot commented Nov 28, 2024

compiler-errors commented Nov 28, 2024

compiler-errors commented Dec 3, 2024

bors commented Dec 3, 2024

estebank commented Dec 8, 2024

bors commented Dec 8, 2024

workingjubilee commented Dec 8, 2024

jieyouxu commented Dec 8, 2024

bors commented Dec 8, 2024

bors commented Dec 8, 2024

rust-timer commented Dec 8, 2024

Overall result: ❌ regressions - no action needed

estebank Nov 28, 2024 •

edited

Loading