Skip to content

Commit

Permalink
Tests for getting parent of synthetic HIR
Browse files Browse the repository at this point in the history
  • Loading branch information
compiler-errors committed Apr 3, 2024
1 parent 98efd80 commit f029602
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 f029602

Please sign in to comment.