Stream: t-compiler

Topic: `TypeVariableOrigin` refactor

varkor (May 29 2019 at 23:03, on Zulip):

@nikomatsakis: could you give your opinion on refactoring TypeVariableOrigin here: ?
it's essentially just pulling out the common span into a separate field

varkor (May 29 2019 at 23:03, on Zulip):

but alternatively we could use a pair, or a Spanned

varkor (May 29 2019 at 23:04, on Zulip):

(there's a similar question about whether to do the same for the region variable origins, though it means introducing some dummy spans for the variants that currently have none)

nikomatsakis (May 31 2019 at 20:40, on Zulip):


varkor (May 31 2019 at 21:15, on Zulip):


Last update: Jul 03 2020 at 17:25UTC