diff options
| author | Michael Goulet <michael@errs.io> | 2022-10-19 01:20:24 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2022-10-19 17:10:59 +0000 |
| commit | a6b5f95fb028f9feb4a2957c06b35035be2c6155 (patch) | |
| tree | 159ce992866baae21955751068e5dfafc872e1de /compiler/rustc_middle/src/infer | |
| parent | 91af4f5d0b9ae9a2f8adafc02d61d18c60ddb200 (diff) | |
| download | rust-a6b5f95fb028f9feb4a2957c06b35035be2c6155.tar.gz | |
Make ClosureOutlivesRequirement not rely on an unresolved type
Diffstat (limited to 'compiler/rustc_middle/src/infer')
| -rw-r--r-- | compiler/rustc_middle/src/infer/canonical.rs | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/compiler/rustc_middle/src/infer/canonical.rs b/compiler/rustc_middle/src/infer/canonical.rs index d3cf519b633..f4f1d82c3b8 100644 --- a/compiler/rustc_middle/src/infer/canonical.rs +++ b/compiler/rustc_middle/src/infer/canonical.rs @@ -302,10 +302,8 @@ impl<'tcx, V> Canonical<'tcx, V> { } } -pub type QueryOutlivesConstraint<'tcx> = ( - ty::Binder<'tcx, ty::OutlivesPredicate<GenericArg<'tcx>, Region<'tcx>>>, - ConstraintCategory<'tcx>, -); +pub type QueryOutlivesConstraint<'tcx> = + (ty::Binder<'tcx, ty::OutlivesPredicate<GenericArg<'tcx>, Region<'tcx>>>, ConstraintCategory); TrivialTypeTraversalAndLiftImpls! { for <'tcx> { |