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