add a unit test for problems with type resolution