Comment 3 for bug 839937

For whoever looks into this:

I finally realized how to make proclamations for generic functions enforceable.

Option 1: effective methods get the assertion code.

Option 2: generics with proclaimed types get an additional trampoline whose job is to enforce those proclamations.