Laravel PHPDocの書き方が分からない。「has no type specified.

Question

Laravel9 エラーチェックにPHP-Stanを利用しています。
PHP-Stan実行後にファイル(ContactsSendmail.php)以下の箇所で、「has no type specified. とエラーが出ます。
しかし、このエラーの解決方法がわかりません。

エラーが出ている変数に型を定義してあげれば良いのだと思うのですが、いろんなサイト参考にいろんな書き方をしてもだめでした。
PHPStaのエラー内容によってはignoreしても良い。という記事も見受けられるのですが、拙い知識のため今回のPHPStanのエラーはどうしようもないのか、解決できるのか。の判断もわかりません。。。
解決方法があれば、教えてください。

<?php

namespace App\Mail;

use Illuminate\Bus\Queueable;
use Illuminate\Contracts\Queue\ShouldQueue;
use Illuminate\Mail\Mailable;
use Illuminate\Queue\SerializesModels;
class ContactsSendmail extends Mailable
{
    use Queueable, SerializesModels;

 // プロパティを定義
    private $radio;
    private $company_name;
    private $contact_name_form;
    private $kana;
    private $tell;
    private $zip;
    private $add;
    private $contact_body;

------ ------------------------------------------------------------------------------- 
  Line   app/Mail/ContactsSendmail.php                                                  
 ------ ------------------------------------------------------------------------------- 
  13     Property App\Mail\ContactsSendmail::$radio has no type specified.              
  14     Property App\Mail\ContactsSendmail::$company_name has no type specified.       
  15     Property App\Mail\ContactsSendmail::$contact_name_form has no type specified.  
  16     Property App\Mail\ContactsSendmail::$kana has no type specified.               
  17     Property App\Mail\ContactsSendmail::$tell has no type specified.               
  18     Property App\Mail\ContactsSendmail::$zip has no type specified.                
  19     Property App\Mail\ContactsSendmail::$add has no type specified.                
  20     Property App\Mail\ContactsSendmail::$contact_body has no type specified.       
 ------ ------------------------------------------------------------------------------- 

ファイル全体は以下です。

<?php

namespace App\Mail;

use Illuminate\Bus\Queueable;
use Illuminate\Contracts\Queue\ShouldQueue;
use Illuminate\Mail\Mailable;
use Illuminate\Queue\SerializesModels;
class ContactsSendmail extends Mailable
{
    use Queueable, SerializesModels;
    // プロパティを定義
    private $radio;
    private $company_name;
    private $contact_name_form;
    private $kana;
    private $tell;
    private $zip;
    private $add;
    private $contact_body;

    /**
     * Create a new message instance.
     *
     * @return void
     *@param array $inputs
     */
    public function __construct($inputs)
    {
     // コンストラクタでプロパティに値を格納
    $this->radio = $inputs['radio'];
    $this->company_name = $inputs['company_name'];
    $this->contact_name_form = $inputs['contact_name_form'];
    $this->kana = $inputs['kana'];
    $this->tell = $inputs['tell'];
    $this->zip = $inputs['zip'];
    $this->add = $inputs['add'];
    $this->email = $inputs['email'];
    $this->contact_body = $inputs['contact_body'];
    }

    /**
     * Build the message.
     *
     * @return $this
     */
    public function build()
    {
        // メールの設定
        return $this
        ->from('[e-mail]')
        ->subject('自動送信メール')
        ->view('contact.mail')
        ->with([
        'radio' => $this->radio,
        'company_name' => $this->company_name,
        'contact_name_form' => $this->contact_name_form,
        'kana' => $this->kana,
        'tell' => $this->tell,
        'zip' => $this->zip,
        'add' => $this->add,
        'email' => $this->email,
        'contact_body' => $this->contact_body,
        ]);
    }
}

Answer 1

has no type specified.
タイプが指定されていません。

各変数の型を指定してください。

いろんなサイト参考にいろんな書き方をしてもだめでした。

どういう書き方をしてどういう結果が出たのか提示されてないので分かりませんが、例えば

private $kana;
↓
private string $kana;

https://www.php.net/manual/ja/language.types.declarations.php

多くの言語では変数宣言時に型まで指定しないとそもそも実行（ビルド・コンパイル）できないのが通例です。
そのため、このようなドキュメントでは型がない変数はNGとされるということになります。
ドキュメントも参考に。
https://docs.phpdoc.org/3.0/classes/phpDocumentor-Descriptor-Tag-BaseTypes-TypedVariableAbstract.html

Comments

[Fukusuke0604]

ありがとうございます。
PHPDocにコメントで書くもんだと思い違いしておりました。

private $kana;
↓
private string $kana;
この書き方でPHP-Stanエラーが消えました!!

[m.ts10806]

コメントに書いたところで変数の型が宣言されるわけではないですからね。
ただ、コメント書くとしてもやはり型は必要に思います。
型がないと
@var unknown
になりますから。

[Fukusuke0604]

「コメントに書いたところで変数の型が宣言されるわけではないですからね。」おっしゃる通りですね!!
勉強になりました!

[m.ts10806]

はい。だから"説明が不足している回答"という修正依頼が的外れにも程があるなって。
未だに嫌がらせとかでやる人いるんですよね。指摘するには具体性が必要なはずの回答ですから。