bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity

fix a ICE #102768

Browse source
This commit is contained in:
Takayuki Maeda 2022-10-07 21:10:08 +09:00
parent 5854680388
commit fa767868df
3 changed files with 51 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
compiler/rustc_hir_analysis/src/collect/type_of.rs
View file

@ -493,8 +493,10 @@ pub(super) fn type_of(tcx: TyCtxt<'_>, def_id: DefId) -> Ty<'_> {
},
def_id.to_def_id(),
);
if let Some(assoc_item) = assoc_item {
tcx.type_of(tcx.generics_of(assoc_item.def_id).params[idx].def_id)
if let Some(param)
= assoc_item.map(|item| &tcx.generics_of(item.def_id).params[idx]).filter(|param| param.kind.is_ty_or_const())
{
tcx.type_of(param.def_id)
} else {
// FIXME(associated_const_equality): add a useful error message here.
tcx.ty_error_with_message(