mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Rollup merge of #123218 - compiler-errors:synthetic-hir-parent, r=petrochenkov

Browse Source 
Add test for getting parent HIR for synthetic HIR node

Fixes #122991, which was actually fixed by #123415
This commit is contained in:
Matthias Krüger 2024-04-04 14:51:16 +02:00 committed by GitHub
commit 7c2d4eaf92
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 38 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
tests/ui/impl-trait/in-trait/synthetic-hir-has-parent.rs Normal file
View File

@ -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
tests/ui/impl-trait/in-trait/synthetic-hir-has-parent.stderr Normal file
View File

@ -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`.