Covariance problem again … uRemember Simula problem If A <: B, then A ref <: B ref Needed run-time test to prevent bad assignment Covariance for assignable cells is not right in principle uExplanation interface of T reference cell is put : T  T ref get : T ref  T Remember covariance/contravariance of functions
{}