fn maybe_supported_error<'tcx>(
    tcx: TyCtxt<'tcx>,
    sub: GenericConstantTooComplexSub,
    root_span: Span
) -> Result<!, ErrorGuaranteed>