about summary refs log tree commit diff
path: root/src/liballoc
diff options
context:
space:
mode:
authorMark Simulacrum <mark.simulacrum@gmail.com>2017-07-29 18:03:54 -0600
committerGitHub <noreply@github.com>2017-07-29 18:03:54 -0600
commit5b85f650cf969940aa21cd257572e3621ed3f22a (patch)
tree0f9dfbc97a6a6e46f86079e9d46969ed72e78d37 /src/liballoc
parent4122b6bd5bca5fecacd75d184d12153e8e4fc8a6 (diff)
parente268ddf52d7b52b0633572dacdf628c17978f1df (diff)
downloadrust-5b85f650cf969940aa21cd257572e3621ed3f22a.tar.gz
rust-5b85f650cf969940aa21cd257572e3621ed3f22a.zip
Rollup merge of #43512 - arielb1:untyped-move-paths, r=eddyb
erase types in the move-path abstract domain

Leaving types unerased would lead to 2 types with a different "name"
getting different move-paths, which would cause major brokenness (see
e.g. #42903).

This does not fix any *known* issue, but is required if we want to use
abs_domain with non-erased regions (because the same can easily
have different names). cc @RalfJung.

r? @eddyb
Diffstat (limited to 'src/liballoc')
0 files changed, 0 insertions, 0 deletions