File tree Expand file tree Collapse file tree 1 file changed +0
-6
lines changed
src/librustc_infer/infer/region_constraints Expand file tree Collapse file tree 1 file changed +0
-6
lines changed Original file line number Diff line number Diff line change @@ -147,11 +147,6 @@ impl Constraint<'_> {
147
147
}
148
148
}
149
149
150
- /// `VerifyGenericBound(T, _, R, RS)`: the parameter type `T` (or
151
- /// associated type) must outlive the region `R`. `T` is known to
152
- /// outlive `RS`. Therefore, verify that `R <= RS[i]` for some
153
- /// `i`. Inference variables may be involved (but this verification
154
- /// step doesn't influence inference).
155
150
#[ derive( Debug , Clone ) ]
156
151
pub struct Verify < ' tcx > {
157
152
pub kind : GenericKind < ' tcx > ,
@@ -687,7 +682,6 @@ impl<'tcx> RegionConstraintCollector<'tcx> {
687
682
}
688
683
}
689
684
690
- /// See [`Verify::VerifyGenericBound`].
691
685
pub fn verify_generic_bound (
692
686
& mut self ,
693
687
origin : SubregionOrigin < ' tcx > ,
You can’t perform that action at this time.
0 commit comments