PHPStorm: disable error indpection @read-only property beeing assigned for the specified line

example.php

<?php

$user = new User();
$user->someProp = 123; // here PHPStorm complains that the property is read-only

/** @var mixed $user */
$user->someProp = 123; // yet here is OK, because we temporarily change the user type

/** @var User $user */

User.php

<?php
/**
 * @property-read int $someProp
 * @property int $otherProp
 */
class User {}