Skip to content

Commit

Permalink
Auto merge of #817 - cuishuang:master, r=jackh726
Browse files Browse the repository at this point in the history
Remove unnecessary symbols and add missing symbols
  • Loading branch information
bors committed Sep 13, 2024
2 parents 5bcd611 + 4b33c57 commit ab710e0
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion chalk-ir/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1698,7 +1698,7 @@ impl<I: Interner> TraitRef<I> {
}
}

/// 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)]
Expand Down
2 changes: 1 addition & 1 deletion chalk-solve/src/clauses/env_elaborator.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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<I: Interner>(
db: &dyn RustIrDatabase<I>,
in_clauses: &[ProgramClause<I>],
Expand Down

0 comments on commit ab710e0

Please sign in to comment.