type safety on segment translation