Merge pull request #267 from RalfJung/cast

author Oliver Schneider <oli-obk@users.noreply.github.com>

Mon, 24 Jul 2017 09:31:25 +0000 (11:31 +0200)

committer GitHub <noreply@github.com>

Mon, 24 Jul 2017 09:31:25 +0000 (11:31 +0200)
author Oliver Schneider <oli-obk@users.noreply.github.com>
Mon, 24 Jul 2017 09:31:25 +0000 (11:31 +0200)
committer GitHub <noreply@github.com>
Mon, 24 Jul 2017 09:31:25 +0000 (11:31 +0200)
diff --cc src/librustc_mir/interpret/eval_context.rs
Simple merge
author	Oliver Schneider <oli-obk@users.noreply.github.com>
	Mon, 24 Jul 2017 09:31:25 +0000 (11:31 +0200)
committer	GitHub <noreply@github.com>
	Mon, 24 Jul 2017 09:31:25 +0000 (11:31 +0200)