final check doesn't work correctly when not initialized in all constructor

[Luro02]

Summary

When a non-final field is not initialized with a value, it implicitly assumes a default value. A final field must be explicitly initialized. When the final field is not initialized in each constructor, only in some or none, it can not be final, because then the code would not compile.

Lint Name

No response

Reproducer

<code>