@@ -232,11 +232,11 @@ pub fn is_inherent_impl_coherent(db: &dyn HirDatabase, def_map: &DefMap, impl_id
232232
233233/// Checks whether the impl satisfies the orphan rules.
234234///
235- /// Given `impl<P1..=Pn> Trait<T1..=Tn> for T0`, an `impl`` is valid only if at least one of the following is true:
235+ /// Given `impl<P1..=Pn> Trait<T1..=Tn> for T0`, an `impl` is valid only if at least one of the following is true:
236236/// - Trait is a local trait
237237/// - All of
238- /// - At least one of the types `T0..=Tn`` must be a local type. Let `Ti` ` be the first such type.
239- /// - No uncovered type parameters `P1..=Pn` may appear in `T0..Ti`` (excluding `Ti`)
238+ /// - At least one of the types `T0..=Tn` must be a local type. Let `Ti` be the first such type.
239+ /// - No uncovered type parameters `P1..=Pn` may appear in `T0..Ti` (excluding `Ti`)
240240pub fn check_orphan_rules < ' db > ( db : & ' db dyn HirDatabase , impl_ : ImplId ) -> bool {
241241 let Some ( impl_trait) = db. impl_trait ( impl_) else {
242242 // not a trait impl
@@ -277,10 +277,10 @@ pub fn check_orphan_rules<'db>(db: &'db dyn HirDatabase, impl_: ImplId) -> bool
277277 }
278278 }
279279 } ;
280- // - At least one of the types `T0..=Tn`` must be a local type. Let `Ti` ` be the first such type.
280+ // - At least one of the types `T0..=Tn` must be a local type. Let `Ti` be the first such type.
281281
282282 // FIXME: param coverage
283- // - No uncovered type parameters `P1..=Pn` may appear in `T0..Ti`` (excluding `Ti`)
283+ // - No uncovered type parameters `P1..=Pn` may appear in `T0..Ti` (excluding `Ti`)
284284 let is_not_orphan = trait_ref. args . types ( ) . any ( |ty| match unwrap_fundamental ( ty) . kind ( ) {
285285 TyKind :: Adt ( adt_def, _) => is_local ( adt_def. def_id ( ) . module ( db) . krate ( db) ) ,
286286 TyKind :: Error ( _) => true ,
0 commit comments