buildSubstitutions(as, bs, m, compilerVersion): void
Given two lists of types as and bs, and a partially computed TypeMap m,
accumulate the neccessary substitutions to convert as into bs. Note that as
may contain TVars and TRest, but bs must be concrete.
Given two lists of types as and bs, and a partially computed TypeMap m, accumulate the neccessary substitutions to convert as into bs. Note that as may contain TVars and TRest, but bs must be concrete.