Return the method's tuple of functions that statically restrict call sites by argument type.
The semantic restrictions.
The method.