diff options
| author | Tshepang Lekhonkhobe <tshepang@gmail.com> | 2020-05-01 13:32:08 +0200 |
|---|---|---|
| committer | Tshepang Lekhonkhobe <tshepang@gmail.com> | 2020-05-01 13:43:04 +0200 |
| commit | 6a681f5ca1ad6b37a90996353db276c8e0708285 (patch) | |
| tree | 80434a90a0a051faeeea3413740130977e4b236b | |
| parent | e94eaa6dce468928b4e1326b2f0054f3075681ff (diff) | |
| download | rust-6a681f5ca1ad6b37a90996353db276c8e0708285.tar.gz rust-6a681f5ca1ad6b37a90996353db276c8e0708285.zip | |
remove obsolete comments
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>, |