Class PHPStan\Type\Constant\ConstantBooleanType

Type narrowing methods for comparison operators. For example, for ConstantIntegerType(5), getSmallerType() returns int<min, 4>.

Models the (bool) cast.

Models numeric coercion for arithmetic operators.

Models the bitwise-not (~$x) operator. Returns ErrorType for types where ~ is undefined.

Models abs().

Models the (string) cast.

Models the (int) cast.

Models the (float) cast.

Models PHP's implicit array key coercion: floats truncated to int, booleans become 0/1, null becomes '', numeric strings become int.

Returns how this type might change when passed to a typed parameter or assigned to a typed property.

With $strictTypes = true: int widens to int|float (since int is accepted by float parameters in strict mode). With $strictTypes = false: additional coercions apply, e.g. Stringable objects are accepted by string parameters.

Used internally to determine what types a value might be coerced to when checking parameter acceptance.

Removes constant value information. E.g. 'foo' -> string, 1 -> int. Used when types become too complex to track precisely (e.g. loop iterations).

The native PHP type declaration for this type at the given position, widened to what the position allows, e.g. non-empty-string to string. Returns null when the type cannot be declared natively there.