Answer the Fallibility of the primitive for a call site with the given argument TypeDescriptor.
The fallibility of the call site.
A list of argument types.