Coverage for trait resolution