user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Improve diagnostics for function passed when a type was expected.

Browse source
This commit is contained in:
Hameer Abbasi 2021-04-24 16:25:36 +02:00
parent e11a9fa52a
commit e558ddbb3a
5 changed files with 41 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

14
compiler/rustc_typeck/src/astconv/generics.rs
View file

@ -109,6 +109,20 @@ impl<'o, 'tcx> dyn AstConv<'tcx> + 'o {
);
}
}
(GenericArg::Const(cnst), GenericParamDefKind::Type { .. }) => {
let body = tcx.hir().body(cnst.value.body);
if let rustc_hir::ExprKind::Path(rustc_hir::QPath::Resolved(_, path)) =
body.value.kind
{
if let Res::Def(DefKind::Fn { .. }, id) = path.res {
err.help(&format!(
"`{}` is a function item, not a type",
tcx.item_name(id)
));
err.help("function item types cannot be named directly");
}
}
}
_ => {}
}