Skip to content

Don't trigger error for ReError when other region is empty.#108502

Merged
bors merged 1 commit intorust-lang:masterfrom
lenko-d:cannot_relate_region
Feb 27, 2023

Commits

Commits on Feb 27, 2023