Shouldn't you bump the required mir version to something higher than 0.22 as the needed API will land only in a later version?
« Back to merge proposal
Shouldn't you bump the required mir version to something higher than 0.22 as the needed API will land only in a later version?