Return value for checkModifiable
Not modifiable
Modifiable (the type is mutable)
Modifiable because it is initialization
See Implementation
Return value for checkModifiable