add type assertions to test