Skip to content

On E0277, point at type that doesn't implement bound - #145641

Merged
bors merged 1 commit into
rust-lang:masterfrom
estebank:point-at-type-in-e0277
Aug 23, 2025
Merged

On E0277, point at type that doesn't implement bound#145641
bors merged 1 commit into
rust-lang:masterfrom
estebank:point-at-type-in-e0277

Conversation

@estebank

@estebankestebank commented Aug 20, 2025

Copy link
Copy Markdown
Contributor

When encountering an unmet trait bound, point at local type that doesn't implement the trait:

error[E0277]: the trait bound `Bar<T>: Foo` is not satisfied
--> $DIR/issue-64855.rs:9:19
|
LL | pub struct Bar<T>(<Self as Foo>::Type) where Self: ;
| ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
|
help: the trait `Foo` is not implemented for `Bar<T>`
--> $DIR/issue-64855.rs:9:1
|
LL | pub struct Bar<T>(<Self as Foo>::Type) where Self: ;
| ^^^^^^^^^^^^^^^^^

@rustbot

rustbot commented Aug 20, 2025

Copy link
Copy Markdown
Collaborator

r? @davidtwco

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

@rustbotrustbot 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. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver) labels Aug 20, 2025
@rustbot

rustbot commented Aug 20, 2025

Copy link
Copy Markdown
Collaborator

This PR modifies tests/ui/issues/. If this PR is adding new tests to tests/ui/issues/,
please refrain from doing so, and instead add it to more descriptive subdirectories.

@rust-log-analyzer

This comment has been minimized.

Sign in to view
@estebank
estebankforce-pushed the point-at-type-in-e0277 branch from e6812a5 to 7c6dfdeCompareAugust 20, 2025 18:16
@rust-log-analyzer

This comment has been minimized.

Sign in to view
@davidtwco

davidtwco commented Aug 21, 2025

Copy link
Copy Markdown
Member

r=me once rebased to fix CI

@estebank
estebankforce-pushed the point-at-type-in-e0277 branch from 7c6dfde to 8662dcfCompareAugust 21, 2025 16:49
@rust-log-analyzer

This comment has been minimized.

Sign in to view
@estebank
On E0277, point at type that doesn't implement bound
049c327
When encountering an unmet trait bound, point at local type that doesn't implement the trait:
```
error[E0277]: the trait bound `Bar<T>: Foo` is not satisfied
--> $DIR/issue-64855.rs:9:19
|
LL | pub struct Bar<T>(<Self as Foo>::Type) where Self: ;
| ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
|
help: the trait `Foo` is not implemented for `Bar<T>`
--> $DIR/issue-64855.rs:9:1
|
LL | pub struct Bar<T>(<Self as Foo>::Type) where Self: ;
| ^^^^^^^^^^^^^^^^^
```
@estebank
estebankforce-pushed the point-at-type-in-e0277 branch from 8662dcf to 049c327CompareAugust 22, 2025 17:55
@rustbot

rustbot commented Aug 22, 2025

Copy link
Copy Markdown
Collaborator

This PR was rebased onto a different master commit. Here's a range-diff highlighting what actually changed.

Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers.

@estebank

estebank commented Aug 22, 2025

Copy link
Copy Markdown
ContributorAuthor

@bors r=davidtwco

@bors

bors commented Aug 22, 2025

Copy link
Copy Markdown
Collaborator

📌 Commit 049c327 has been approved by davidtwco

It is now in the queue for this repository.

@borsbors 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 Aug 22, 2025
jhpratt added a commit to jhpratt/rust that referenced this pull request Aug 22, 2025
@jhpratt
Rollup merge ofrust-lang#145641- estebank:point-at-type-in-e0277, r…
3af75e0
…=davidtwco
On E0277, point at type that doesn't implement bound
When encountering an unmet trait bound, point at local type that doesn't implement the trait:
```
error[E0277]: the trait bound `Bar<T>: Foo` is not satisfied
--> $DIR/issue-64855.rs:9:19
|
LL | pub struct Bar<T>(<Self as Foo>::Type) where Self: ;
| ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
|
help: the trait `Foo` is not implemented for `Bar<T>`
--> $DIR/issue-64855.rs:9:1
|
LL | pub struct Bar<T>(<Self as Foo>::Type) where Self: ;
| ^^^^^^^^^^^^^^^^^
```
@jhprattjhpratt mentioned this pull request Aug 22, 2025
Closed
bors added a commit that referenced this pull request Aug 23, 2025
@bors
Auto merge of#145764- jhpratt:rollup-uzej5kg, r=jhpratt
e7978bd
Rollup of 20 pull requests
Successful merges:
- #132087 (Fix overly restrictive lifetime in `core::panic::Location::file` return type)
- #137396 (Recover `param: Ty = EXPR`)
- #142185 (Convert moves of references to copies in ReferencePropagation)
- #144443 (Make target pointer width in target json an integer)
- #144648 (Implementation: `#[feature(nonpoison_rwlock)]`)
- #144897 (print raw lifetime idents with r#)
- #145218 ([Debuginfo] improve enum value formatting in LLDB for better readability)
- #145380 (Add codegen-llvm regression tests)
- #145573 (Add an experimental unsafe(force_target_feature) attribute.)
- #145597 (resolve: Remove `ScopeSet::Late`)
- #145641 (On E0277, point at type that doesn't implement bound)
- #145669 (rustdoc-search: GUI tests check for `//` in URL)
- #145695 (Introduce ProjectionElem::try_map.)
- #145710 (Fix the ABI parameter inconsistency issue in debug.rs for LoongArch64)
- #145726 (Experiment: Reborrow trait)
- #145731 (Make raw pointers work in type-based search)
- #145736 (triagebot: Update style team reviewers)
- #145738 (Uplift rustc_mir_transform::coverage::counters::union_find to rustc_data_structures.)
- #145743 (doc: fix some typos in comment)
- #145745 (tests: Ignore basic-stepping.rs on LoongArch)
Failed merges:
- #145670 (port `sanitize` attribute to the new parsing infrastructure)
r? `@ghost`
`@rustbot` modify labels: rollup
@jhprattjhpratt mentioned this pull request Aug 23, 2025
Merged
bors added a commit that referenced this pull request Aug 23, 2025
@bors
Auto merge of#145773- jhpratt:rollup-kocqnzv, r=jhpratt
8df154b
Rollup of 28 pull requests
Successful merges:
- #132087 (Fix overly restrictive lifetime in `core::panic::Location::file` return type)
- #137396 (Recover `param: Ty = EXPR`)
- #137457 (Fix host code appearing in Wasm binaries)
- #142185 (Convert moves of references to copies in ReferencePropagation)
- #144648 (Implementation: `#[feature(nonpoison_rwlock)]`)
- #144897 (print raw lifetime idents with r#)
- #145218 ([Debuginfo] improve enum value formatting in LLDB for better readability)
- #145380 (Add codegen-llvm regression tests)
- #145573 (Add an experimental unsafe(force_target_feature) attribute.)
- #145597 (resolve: Remove `ScopeSet::Late`)
- #145633 (Fix some typos in LocalKey documentation)
- #145641 (On E0277, point at type that doesn't implement bound)
- #145669 (rustdoc-search: GUI tests check for `//` in URL)
- #145695 (Introduce ProjectionElem::try_map.)
- #145710 (Fix the ABI parameter inconsistency issue in debug.rs for LoongArch64)
- #145726 (Experiment: Reborrow trait)
- #145731 (Make raw pointers work in type-based search)
- #145736 (triagebot: Update style team reviewers)
- #145738 (Uplift rustc_mir_transform::coverage::counters::union_find to rustc_data_structures.)
- #145742 (rustdoc js: Even more typechecking improvments )
- #145743 (doc: fix some typos in comment)
- #145745 (tests: Ignore basic-stepping.rs on LoongArch)
- #145747 (Refactor lint buffering to avoid requiring a giant enum)
- #145751 (fix(lexer): Allow '-' in the frontmatter infostring continue set)
- #145761 (Add aarch64_be-unknown-hermit target)
- #145762 (convert strings to symbols in attr diagnostics)
- #145763 (Ship LLVM tools for the correct target when cross-compiling)
- #145765 (Revert suggestions for missing methods in tuples)
r? `@ghost`
`@rustbot` modify labels: rollup
@bors
bors merged commit 15eedde into rust-lang:masterAug 23, 2025
10 checks passed
@rustbotrustbot added this to the 1.91.0 milestone Aug 23, 2025
rust-timer added a commit that referenced this pull request Aug 23, 2025
@rust-timer
Unrolled build for#145641
fd9e240
Rollup merge of #145641 - estebank:point-at-type-in-e0277, r=davidtwco
On E0277, point at type that doesn't implement bound
When encountering an unmet trait bound, point at local type that doesn't implement the trait:
```
error[E0277]: the trait bound `Bar<T>: Foo` is not satisfied
--> $DIR/issue-64855.rs:9:19
|
LL | pub struct Bar<T>(<Self as Foo>::Type) where Self: ;
| ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
|
help: the trait `Foo` is not implemented for `Bar<T>`
--> $DIR/issue-64855.rs:9:1
|
LL | pub struct Bar<T>(<Self as Foo>::Type) where Self: ;
| ^^^^^^^^^^^^^^^^^
```
github-actionsBot pushed a commit to rust-lang/miri that referenced this pull request Aug 24, 2025
@bors
Auto merge of #145773 - jhpratt:rollup-kocqnzv, r=jhpratt
777dbcd
Rollup of 28 pull requests
Successful merges:
- rust-lang/rust#132087 (Fix overly restrictive lifetime in `core::panic::Location::file` return type)
- rust-lang/rust#137396 (Recover `param: Ty = EXPR`)
- rust-lang/rust#137457 (Fix host code appearing in Wasm binaries)
- rust-lang/rust#142185 (Convert moves of references to copies in ReferencePropagation)
- rust-lang/rust#144648 (Implementation: `#[feature(nonpoison_rwlock)]`)
- rust-lang/rust#144897 (print raw lifetime idents with r#)
- rust-lang/rust#145218 ([Debuginfo] improve enum value formatting in LLDB for better readability)
- rust-lang/rust#145380 (Add codegen-llvm regression tests)
- rust-lang/rust#145573 (Add an experimental unsafe(force_target_feature) attribute.)
- rust-lang/rust#145597 (resolve: Remove `ScopeSet::Late`)
- rust-lang/rust#145633 (Fix some typos in LocalKey documentation)
- rust-lang/rust#145641 (On E0277, point at type that doesn't implement bound)
- rust-lang/rust#145669 (rustdoc-search: GUI tests check for `//` in URL)
- rust-lang/rust#145695 (Introduce ProjectionElem::try_map.)
- rust-lang/rust#145710 (Fix the ABI parameter inconsistency issue in debug.rs for LoongArch64)
- rust-lang/rust#145726 (Experiment: Reborrow trait)
- rust-lang/rust#145731 (Make raw pointers work in type-based search)
- rust-lang/rust#145736 (triagebot: Update style team reviewers)
- rust-lang/rust#145738 (Uplift rustc_mir_transform::coverage::counters::union_find to rustc_data_structures.)
- rust-lang/rust#145742 (rustdoc js: Even more typechecking improvments )
- rust-lang/rust#145743 (doc: fix some typos in comment)
- rust-lang/rust#145745 (tests: Ignore basic-stepping.rs on LoongArch)
- rust-lang/rust#145747 (Refactor lint buffering to avoid requiring a giant enum)
- rust-lang/rust#145751 (fix(lexer): Allow '-' in the frontmatter infostring continue set)
- rust-lang/rust#145761 (Add aarch64_be-unknown-hermit target)
- rust-lang/rust#145762 (convert strings to symbols in attr diagnostics)
- rust-lang/rust#145763 (Ship LLVM tools for the correct target when cross-compiling)
- rust-lang/rust#145765 (Revert suggestions for missing methods in tuples)
r? `@ghost`
`@rustbot` modify labels: rollup
github-actionsBot pushed a commit to rust-lang/rustc-dev-guide that referenced this pull request Aug 25, 2025
@bors
Auto merge of #145773 - jhpratt:rollup-kocqnzv, r=jhpratt
2ff60be
Rollup of 28 pull requests
Successful merges:
- rust-lang/rust#132087 (Fix overly restrictive lifetime in `core::panic::Location::file` return type)
- rust-lang/rust#137396 (Recover `param: Ty = EXPR`)
- rust-lang/rust#137457 (Fix host code appearing in Wasm binaries)
- rust-lang/rust#142185 (Convert moves of references to copies in ReferencePropagation)
- rust-lang/rust#144648 (Implementation: `#[feature(nonpoison_rwlock)]`)
- rust-lang/rust#144897 (print raw lifetime idents with r#)
- rust-lang/rust#145218 ([Debuginfo] improve enum value formatting in LLDB for better readability)
- rust-lang/rust#145380 (Add codegen-llvm regression tests)
- rust-lang/rust#145573 (Add an experimental unsafe(force_target_feature) attribute.)
- rust-lang/rust#145597 (resolve: Remove `ScopeSet::Late`)
- rust-lang/rust#145633 (Fix some typos in LocalKey documentation)
- rust-lang/rust#145641 (On E0277, point at type that doesn't implement bound)
- rust-lang/rust#145669 (rustdoc-search: GUI tests check for `//` in URL)
- rust-lang/rust#145695 (Introduce ProjectionElem::try_map.)
- rust-lang/rust#145710 (Fix the ABI parameter inconsistency issue in debug.rs for LoongArch64)
- rust-lang/rust#145726 (Experiment: Reborrow trait)
- rust-lang/rust#145731 (Make raw pointers work in type-based search)
- rust-lang/rust#145736 (triagebot: Update style team reviewers)
- rust-lang/rust#145738 (Uplift rustc_mir_transform::coverage::counters::union_find to rustc_data_structures.)
- rust-lang/rust#145742 (rustdoc js: Even more typechecking improvments )
- rust-lang/rust#145743 (doc: fix some typos in comment)
- rust-lang/rust#145745 (tests: Ignore basic-stepping.rs on LoongArch)
- rust-lang/rust#145747 (Refactor lint buffering to avoid requiring a giant enum)
- rust-lang/rust#145751 (fix(lexer): Allow '-' in the frontmatter infostring continue set)
- rust-lang/rust#145761 (Add aarch64_be-unknown-hermit target)
- rust-lang/rust#145762 (convert strings to symbols in attr diagnostics)
- rust-lang/rust#145763 (Ship LLVM tools for the correct target when cross-compiling)
- rust-lang/rust#145765 (Revert suggestions for missing methods in tuples)
r? `@ghost`
`@rustbot` modify labels: rollup
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@davidtwcodavidtwcodavidtwco approved these changes

Assignees

@davidtwcodavidtwco

Labels

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.WG-trait-system-refactorThe Rustc Trait System Refactor Initiative (-Znext-solver)

Projects

None yet

Milestone

1.91.0

Development

Successfully merging this pull request may close these issues.

5 participants

@estebank@rustbot@rust-log-analyzer@davidtwco@bors