Fix Tasty unpickling of a TEMPLATE with a SHARED parent#3824

Merged

smarter merged 2 commits intoscala:masterfrom

dotty-staging:fix-tasty-shared-parent

Jan 15, 2018

Commits on Jan 14, 2018

Tasty: Fix unpickling of a TEMPLATE with a SHARED parent
smarter
committed

Commits on Jan 15, 2018

TASTY 3.0: Distinguish SHARED terms from types
smarter
committed