A variable introduced by a successful Java pattern match and available only where control flow proves it is bound.