The same idea as above. Default check does not work for traits.