Pattern matches an the scrutineeType against the patternType and returns a tuple with the matched holes if successful.
- Value Params
Booleannotify if the pattern has type splices
Type[?]containing the pattern tree
the current Quotes
Type[?]on which we are pattern matching
None if it did not match,
Some(tup)if it matched where