diff options
| author | Jack Huey <jack.huey@umassmed.edu> | 2020-12-23 16:36:23 -0500 |
|---|---|---|
| committer | Jack Huey <jack.huey@umassmed.edu> | 2021-01-16 18:40:47 -0500 |
| commit | 4cd6f85a07bf6a8db8288ff37cc11a2ecb72e1a7 (patch) | |
| tree | ba8573fd7f5ebe9e23312a6726f63df5dc96dcd9 /compiler/rustc_traits/src | |
| parent | 4cb3d6f983cfeab13171a7171425b624545b9ccc (diff) | |
| download | rust-4cd6f85a07bf6a8db8288ff37cc11a2ecb72e1a7.tar.gz rust-4cd6f85a07bf6a8db8288ff37cc11a2ecb72e1a7.zip | |
Remove PredicateKind
Diffstat (limited to 'compiler/rustc_traits/src')
| -rw-r--r-- | compiler/rustc_traits/src/implied_outlives_bounds.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_traits/src/implied_outlives_bounds.rs b/compiler/rustc_traits/src/implied_outlives_bounds.rs index adb20364ddf..0e8e15cb221 100644 --- a/compiler/rustc_traits/src/implied_outlives_bounds.rs +++ b/compiler/rustc_traits/src/implied_outlives_bounds.rs @@ -94,7 +94,7 @@ fn compute_implied_outlives_bounds<'tcx>( // region relationships. implied_bounds.extend(obligations.into_iter().flat_map(|obligation| { assert!(!obligation.has_escaping_bound_vars()); - let ty::PredicateKind::ForAll(binder) = obligation.predicate.kind(); + let binder = obligation.predicate.kind(); if binder.skip_binder().has_escaping_bound_vars() { vec![] } else { |