Deny assigning a value of type T1 to var of type T2