Fix #4006: Avoid ambiguity between SHAREDterm cases and finally#4017

Merged

nicolasstucki merged 1 commit intoscala:masterfrom

dotty-staging:fix-#4006

Feb 22, 2018

Commits on Feb 21, 2018

Fix #4006: Avoid reading shared terms as cases when they are not
nicolasstucki
committed