Disallow inferred splices and set the correct position#4780

Merged

smarter merged 1 commit intoscala:masterfrom

dotty-staging:fix-#4774

Jul 10, 2018

Commits on Jul 9, 2018

Disallow inferred splices and set the correct position
nicolasstucki
committed