Add generic annotation for pass method

[abenerd]

It looks like the tests failed due to an internal error, so rerunning should fix the issue.

[freekmurze]

We'll add generic annotations at a later date for everything.