Implement a test case for trait and trait type