-> `not an identity assignment -- allowed`