From: bors <bors@rust-lang.org>
Date: Tue, 2 Oct 2018 04:22:55 +0000 (+0000)
Subject: Auto merge of #54701 - arielb1:outlives-later, r=nikomatsakis
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=e812ca472a2a5284e9f15cd9af32285d7ff3fd39;p=rust.git

Auto merge of #54701 - arielb1:outlives-later, r=nikomatsakis

normalize param-env type-outlives predicates last

The normalization of type-outlives predicates can depend on misc.
environment predicates, but not the other way around. Inferred lifetime
bounds can propagate type-outlives bounds far and wide, so their
normalization needs to work well.

Fixes #54467

r? @nikomatsakis
beta-nominating because this is required for inferred_outlives_bounds, which is in beta
---

e812ca472a2a5284e9f15cd9af32285d7ff3fd39