WideningNumeric
Requires the compiler's strict implicit numeric widening from Source to Self.
Module std.math
import std.math;Public declaration contracts and authored examples. A page can document several related symbols. Implementation bodies are excluded.
WideningNumeric
pub concept WideningNumeric<Self, Source>Requires the compiler's strict implicit numeric widening from Source to Self.
Only canonical standard-package identity grants this compiler predicate; a same-named user concept keeps ordinary structural meaning. Exact equal types, equal-width different primitives, byte, mixed signedness and incompatible integer/floating domains fail. Target-width facts come from the selected target, not the host. No runtime witness, allocation or callable is introduced. Self: Strictly wider ordinary numeric destination representation. Source: Exact ordinary numeric source representation.