[book] fix the trait checking example code

[book] fix the trait checking example code #2510