diff options
| author | Dylan DPC <dylan.dpc@gmail.com> | 2020-05-01 19:49:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-01 19:49:11 +0200 |
| commit | 54013532cd5db91219127eed2f9f1e7045154ecb (patch) | |
| tree | bb28830bdee505be6853c5f80df81cffa017fb4b | |
| parent | a91d64873f5b8daa43f0e82dedad7e2bc39e8fba (diff) | |
| parent | 6a681f5ca1ad6b37a90996353db276c8e0708285 (diff) | |
| download | rust-54013532cd5db91219127eed2f9f1e7045154ecb.tar.gz rust-54013532cd5db91219127eed2f9f1e7045154ecb.zip | |
Rollup merge of #71744 - tshepang:obsolete-comment, r=Dylan-DPC
remove obsolete comment Referenced was removed in 8770d0f34a9bee2691517ab95803a277c453dfda
| -rw-r--r-- | src/librustc_infer/infer/region_constraints/mod.rs | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/librustc_infer/infer/region_constraints/mod.rs b/src/librustc_infer/infer/region_constraints/mod.rs index e10b0938955..1292e96ff98 100644 --- a/src/librustc_infer/infer/region_constraints/mod.rs +++ b/src/librustc_infer/infer/region_constraints/mod.rs @@ -147,11 +147,6 @@ impl Constraint<'_> { } } -/// `VerifyGenericBound(T, _, R, RS)`: the parameter type `T` (or -/// associated type) must outlive the region `R`. `T` is known to -/// outlive `RS`. Therefore, verify that `R <= RS[i]` for some -/// `i`. Inference variables may be involved (but this verification -/// step doesn't influence inference). #[derive(Debug, Clone)] pub struct Verify<'tcx> { pub kind: GenericKind<'tcx>, @@ -687,7 +682,6 @@ impl<'tcx> RegionConstraintCollector<'tcx> { } } - /// See [`Verify::VerifyGenericBound`]. pub fn verify_generic_bound( &mut self, origin: SubregionOrigin<'tcx>, |