assert and types pass all tests