Use trait, not impl, definition for X_as_Trait functions