Add test code for assigning TypeVariable Type 

Add test code for assigning TypeVariable Type