Member predicate InferTypeExpr::getTypeParameter

Gets the type parameter capturing the matched type, such as R in infer R.

TypeParameter getTypeParameter()