diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2022-06-23 16:56:43 -0400 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2022-06-23 17:00:28 -0400 |
| commit | 9118fafd40a69fc391c79924acbe08f05b091921 (patch) | |
| tree | 0a8cb20b4c5b2243d2d0059e2b955a70590754dd | |
| parent | d8337ee2f4b2de4688019bfa6e2074db85cf5565 (diff) | |
| download | rust-9118fafd40a69fc391c79924acbe08f05b091921.tar.gz rust-9118fafd40a69fc391c79924acbe08f05b091921.zip | |
remove misleading comment
per aliemjay's suggestion
| -rw-r--r-- | compiler/rustc_infer/src/infer/outlives/verify.rs | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/compiler/rustc_infer/src/infer/outlives/verify.rs b/compiler/rustc_infer/src/infer/outlives/verify.rs index ce3da267b00..191f5f18ec2 100644 --- a/compiler/rustc_infer/src/infer/outlives/verify.rs +++ b/compiler/rustc_infer/src/infer/outlives/verify.rs @@ -250,10 +250,7 @@ impl<'cx, 'tcx> VerifyBoundCx<'cx, 'tcx> { // To start, collect bounds from user environment. Note that // parameter environments are already elaborated, so we don't - // have to worry about that. Comparing using `==` is a bit - // dubious for projections, but it will work for simple cases - // like `T` and `T::Item`. It may not work as well for things - // like `<T as Foo<'a>>::Item`. + // have to worry about that. let c_b = self.param_env.caller_bounds(); let param_bounds = self.collect_outlives_from_predicate_list(erased_ty, c_b.into_iter()); |