all good tests pass type check