tweak the test a little bit now that unit implicits are resolved even if no constraints
tweak the test a little bit now that unit implicits are resolved even if no constraints

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar