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
Is this due to needing to support elaborator reflection, or for some other reason?
1
1