php-record-assignable-interface