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