Add Test code for assigning TypeVarilable Type

Add Test code for assigning TypeVarilable Type