about summary refs log tree commit diff
path: root/src/libstd
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2016-11-02 22:58:01 -0700
committerGitHub <noreply@github.com>2016-11-02 22:58:01 -0700
commitac919fcd9d4a958baf99b2f2ed5c3d38a2ebf9d0 (patch)
tree88e3435d49f2f1e670cf8eba613210b4ddb495e2 /src/libstd
parentf9f45c6dacd0f0d0a44473931291a4fa6bbb4ddc (diff)
parentb4f910d9004f09620ef5b1aff5d676c1dab7d42f (diff)
downloadrust-ac919fcd9d4a958baf99b2f2ed5c3d38a2ebf9d0.tar.gz
rust-ac919fcd9d4a958baf99b2f2ed5c3d38a2ebf9d0.zip
Auto merge of #37541 - nikomatsakis:issue-37291, r=brson
Use impl obligations as initial environment for specialization

This corrects a small regression in specialization that crept in, I think as part of the refactoring to introduce arenas. I also made an experiment (in the last commit) to cleanup the code to be more aggressive about normalization. As the commit log notes, I am not 100% sure that this is correct, but it feels safer, and I think that at worst it yields *more* ICEs (as opposed to admitting faulty code). I'll schedule a crater run to check beyond the testbase.

Fixes #37291.

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