fn infer_placeholder_type<'a>( tcx: TyCtxt<'a>, def_id: LocalDefId, body_id: BodyId, span: Span, item_ident: Ident, kind: &'static str) -> Ty<'a>
