From 4b33c5716de8809ad1d40b2b3e6662a3d0ee5af0 Mon Sep 17 00:00:00 2001 From: cuishuang Date: Mon, 9 Sep 2024 16:12:35 +0800 Subject: [PATCH] Remove unnecessary symbols and add missing symbols Signed-off-by: cuishuang --- chalk-ir/src/lib.rs | 2 +- chalk-solve/src/clauses/env_elaborator.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/chalk-ir/src/lib.rs b/chalk-ir/src/lib.rs index c3096d9f672..7763738264a 100644 --- a/chalk-ir/src/lib.rs +++ b/chalk-ir/src/lib.rs @@ -1698,7 +1698,7 @@ impl TraitRef { } } -/// Lifetime outlives, which for `'a: 'b`` checks that the lifetime `'a` +/// Lifetime outlives, which for `'a: 'b` checks that the lifetime `'a` /// is a superset of the value of `'b`. #[derive(Clone, PartialEq, Eq, Hash, TypeFoldable, TypeVisitable, HasInterner, Zip)] #[allow(missing_docs)] diff --git a/chalk-solve/src/clauses/env_elaborator.rs b/chalk-solve/src/clauses/env_elaborator.rs index 29032a7ad2f..6279d36a78a 100644 --- a/chalk-solve/src/clauses/env_elaborator.rs +++ b/chalk-solve/src/clauses/env_elaborator.rs @@ -19,7 +19,7 @@ use tracing::instrument; /// /// For example, when `T: Clone` is in the environment, we can prove /// `T: Copy` by adding the clauses from `trait Clone`, which includes -/// the rule `FromEnv(T: Copy) :- FromEnv(T: Clone) +/// the rule `FromEnv(T: Copy) :- FromEnv(T: Clone)` pub(super) fn elaborate_env_clauses( db: &dyn RustIrDatabase, in_clauses: &[ProgramClause],