fn may_have_provenance(tcx: TyCtxt<'_>, value: ConstValue, size: Size) -> bool
Check if a constant may contain provenance information. Can return true even if there is no provenance.
true