More coverage work for trait resolution. Test conditional trait spec.