1--TEST--
2Writing to mysqli properties (strict_types)
3--EXTENSIONS--
4mysqli
5--FILE--
6<?php
7
8declare(strict_types=1);
9
10$driver = new mysqli_driver;
11try {
12    /* Read-only property */
13    $driver->client_info = 42;
14} catch (Error $e) {
15    echo $e->getMessage(), "\n";
16}
17
18try {
19    $driver->report_mode = "1";
20} catch (Error $e) {
21    echo $e->getMessage(), "\n";
22}
23
24?>
25--EXPECT--
26Cannot write read-only property mysqli_driver::$client_info
27Cannot assign string to property mysqli_driver::$report_mode of type int
28