Aligning changes from libraries-without-variance#48

robin-aws wants to merge 1 commit intodafny-lang:masterdafny-lang/libraries:masterfrom

robin-aws:changes-from-libraries-without-variancerobin-aws/libraries:changes-from-libraries-without-varianceCopy head branch name to clipboard