Handle binder type symbols in extractor patterns#4056

Merged

Blaisorblade merged 1 commit intoscala:masterfrom

dotty-staging:gadt-check

Mar 8, 2018

Commits on Mar 1, 2018

handle binder type symbols in extractor patterns
liufengyun
committed