def METHOD_NAME(
    self,
    applied_args: List[FuncArg],
) -> CallableType:
    """Infers function constrains from its usage: passed arguments."""
    constraints = self._infer_constraints(applied_args)
    return expand_type(self._case_function, constraints)