No Instances Of Type Variables T Exist So That Void Conforms To T