allow 'self lifetime in static trait methods
add test case
constrain 'self in static trait method to equal enclosing 'self