Add some ignored tests in the examples

We usually don't same-line annotations on types, only methods.