Static polymorphism check should fold unresolved types