fn impl_spans(
    tcx: TyCtxt<'_>,
    def_id: LocalDefId
) -> impl Iterator<Item = Span> + '_