Refuse the Temptation to Guess

• If no rules apply, raise NoApplicableMethods

• If two rules with identical or overlapping predicates apply, raise AmbiguousMethod

  • Not a common issue in practice, unless accidental code duplication
  • But it might be a false positive, because..

Notes: