bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Account for bad placeholder errors on consts/statics with trait objects

Browse source
This commit is contained in:
Yuki Okushi 2021-06-10 12:06:47 +09:00
parent eab201df70
commit 052d77ea56
4 changed files with 30 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -808,6 +808,14 @@ fn convert_item(tcx: TyCtxt<'_>, item_id: hir::ItemId) {
match it.kind {
hir::ItemKind::Fn(..) => tcx.ensure().fn_sig(def_id),
hir::ItemKind::OpaqueTy(..) => tcx.ensure().item_bounds(def_id),
hir::ItemKind::Const(ty, ..) | hir::ItemKind::Static(ty, ..) => {
// (#75889): Account for `const C: dyn Fn() -> _ = "";`
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);
}
}
_ => (),
}
}