Je pense que ce n'est jamais possible, sauf dans des cas extremement degenere. Je ne le mentionne que parceque ca a l'air d'etre un outil de tres bas niveau.
Dans certaines architecture, tu pourrais obtenir un pointeur vers de la memoire qui est read only. Du coup, tu pourrais te retrouver dans un cas ou imp pointe vers de la memoire read only. et cu coup tu ne peux pas ecrire dans type.
Est ce que ce genre de chose devrait causer une segfault (ou un truc du genre)? Probablement, mais la encore ca depend beaucoup de l'architecture et du mode d'operation.
En pratique, j'imagine que le code a ete ecrit comme ca plus par convention de secrutie que pour une raison reele.