Rename Place::local to Place::local_or_deref_local#61249

bors merged 1 commit into

rust-lang:masterrust-lang/rust:masterfrom

spastorino:local-or-deref-localspastorino/rust:local-or-deref-localCopy head branch name to clipboard