Assignment compatibility is required

As is always the case,

• if the reference is stored in a variable,
• the type of the reference
• must be assignment compatible with the type of the variable.