Warning for required attributes when using object binding

[markwalet]

I am writing an application in Laravel with Vue. My component has a required options property.

The <script/> part of my component looks like the following

export default {
    name: "locale-changer",
    props: {
        url: {required: true, type: String},
        current: {required: true, type: String},
        options: {required: true, type: Object},
    },
    // ...
}

Because the options property should be an object, I have to bind the property with the : notation:

<locale-changer 
    url="{{ route('api.locales.update') }}"
    current="{{ $user->locale }}"
    :options="{{ $locales }}">
</locale-changer>

When binding any property with the : notation. Phpstorm gives me a warning about a missing required property. Is this something that can be suppressed with the plugin?

The evidence:

I tried to search for a duplicate issue but I couldn't find it. Maybe I'm bad at searching. Please let me know if you need to know anything more.

[markwalet]

Any updates?