constrain 'self in static trait method to equal enclosing 'self