Does this have performance implications for Arend?
This Tweet is from a suspended account. Learn more
Conversation
This Tweet is from a suspended account. Learn more
Replying to
Is this due to needing to support elaborator reflection, or for some other reason?