A tree node for a binding pattern that matches a pattern with a variable of any name and a type of the match candidate; an unnamed pattern. For example the use of underscore _ below:

  if (r instanceof R(_)) {}