Skip to content

Commit

Permalink
Unrolled build for rust-lang#123218
Browse files Browse the repository at this point in the history
Rollup merge of rust-lang#123218 - compiler-errors:synthetic-hir-parent, r=petrochenkov

Add test for getting parent HIR for synthetic HIR node

Fixes rust-lang#122991, which was actually fixed by rust-lang#123415
  • Loading branch information
rust-timer committed Apr 4, 2024
2 parents ca7d34e + f029602 commit c2ca80e
Show file tree
Hide file tree
Showing 2 changed files with 38 additions and 0 deletions.
11 changes: 11 additions & 0 deletions tests/ui/impl-trait/in-trait/synthetic-hir-has-parent.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
// Don't panic when iterating through the `hir::Map::parent_iter` of an RPITIT.

pub trait Foo {
fn demo() -> impl Foo
//~^ ERROR the trait bound `String: Copy` is not satisfied
where
String: Copy;
//~^ ERROR the trait bound `String: Copy` is not satisfied
}

fn main() {}
27 changes: 27 additions & 0 deletions tests/ui/impl-trait/in-trait/synthetic-hir-has-parent.stderr
Original file line number Diff line number Diff line change
@@ -0,0 +1,27 @@
error[E0277]: the trait bound `String: Copy` is not satisfied
--> $DIR/synthetic-hir-has-parent.rs:7:9
|
LL | String: Copy;
| ^^^^^^^^^^^^ the trait `Copy` is not implemented for `String`
|
= help: see issue #48214
help: add `#![feature(trivial_bounds)]` to the crate attributes to enable
|
LL + #![feature(trivial_bounds)]
|

error[E0277]: the trait bound `String: Copy` is not satisfied
--> $DIR/synthetic-hir-has-parent.rs:4:18
|
LL | fn demo() -> impl Foo
| ^^^^^^^^ the trait `Copy` is not implemented for `String`
|
= help: see issue #48214
help: add `#![feature(trivial_bounds)]` to the crate attributes to enable
|
LL + #![feature(trivial_bounds)]
|

error: aborting due to 2 previous errors

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

0 comments on commit c2ca80e

Please sign in to comment.