trait-bounds, static vars and static expressions