<?php

/** @kphp-strict-types-enable */
declare(strict_types=1);

/**
 * @kphp-infer cast
 * @param string $s
 */
function infercast_string_param($s) {}

/**
 * @kphp-infer cast
 * @param int $s
 */
function infercast_int_param($s) {}
