You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Fix compilation failure by refining adaptation of constants
Constants that are adapted to a different supertype need to do this
explicitly (not just by changing the type). Otherwise tree checkers
will compute the original type and fail.
This caused a test failure in pos/harmonize. The mystery is why this
was not caught in the checkin tests.
0 commit comments