Fix infer conv using the wrong universe conversion flexibility information

for constants that are not unfolded during conversion.
Fix discharge of polymorphic section variables over inductive types.

0 files changed, 0 insertions, 0 deletions