typing: resolve record projections from the record type#1043

strub merged 1 commit into

mainEasyCrypt/easycrypt:mainfrom

fix-1011EasyCrypt/easycrypt:fix-1011Copy head branch name to clipboard