Closed kozross closed 1 month ago
Currently, if you pconstant a Value, you get a NonZero PValue. This is an over-assumption: we should really assume NoGuarantees, as there's no assurances of what that value is or what, if any, invariants it follows.
pconstant
Value
NonZero
PValue
NoGuarantees
Currently, if you
pconstantaValue, you get aNonZeroPValue. This is an over-assumption: we should really assumeNoGuarantees, as there's no assurances of what that value is or what, if any, invariants it follows.