Skip to content

Make is_freeze and is_copy_modulo_regions take TyCtxtAt#73578

Merged
bors merged 1 commit intorust-lang:masterfrom RalfJung:ty-ctxt-atJun 23, 2020