mathieu/granite-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Update #83739 with type of the item specified

Browse source
This commit is contained in:
Deadbeef 2021-06-22 01:03:54 +08:00
parent 9b6c7ffa06
commit e66f241b80
No known key found for this signature in database
GPG key ID: 6525773485376D92
2 changed files with 11 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
compiler/rustc_typeck/src/collect.rs
View file

@ -839,7 +839,15 @@ fn convert_item(tcx: TyCtxt<'_>, item_id: hir::ItemId) {
if let hir::TyKind::TraitObject(..) = ty.kind {
let mut visitor = PlaceholderHirTyCollector::default();
visitor.visit_item(it);
placeholder_type_error(tcx, None, &[], visitor.0, false, None);
placeholder_type_error(
tcx,
None,
&[],
visitor.0,
false,
None,
it.kind.descr(),
);
}
}
_ => (),

4
src/test/ui/typeck/issue-75889.stderr
View file

@ -1,10 +1,10 @@
error[E0121]: the type placeholder `_` is not allowed within types on item signatures
error[E0121]: the type placeholder `_` is not allowed within types on item signatures for constant items
--> $DIR/issue-75889.rs:3:24
|
LL | const FOO: dyn Fn() -> _ = "";
| ^ not allowed in type signatures
error[E0121]: the type placeholder `_` is not allowed within types on item signatures
error[E0121]: the type placeholder `_` is not allowed within types on item signatures for static items
--> $DIR/issue-75889.rs:4:25
|
LL | static BOO: dyn Fn() -> _ = "";