Document and test the fact that traits overriding fallback behaviour cannot be used together
test type constraints are honoured