Class TypeResolver.EmptySubst