fn msg_span_from_named_region<'tcx>(
    tcx: TyCtxt<'tcx>,
    region: Region<'tcx>,
    alt_span: Option<Span>
) -> (String, Option<Span>)