has -> implements in comments

crates/compiler/can/src/def.rs

@@ -1398,7 +1398,7 @@ fn resolve_abilities(
                 }
                 [..] => {
                     // There is more than one variable bound to the member signature, so something like
-                    //   Eq has eq : a, b -> Bool | a has Eq, b implements Eq
+                    //   Eq has eq : a, b -> Bool | a implements Eq, b implements Eq
                     // We have no way of telling what type implements a particular instance of Eq in
                     // this case (a or b?), so disallow it.
                     let span_has_clauses = Region::across_all(

crates/compiler/derive/src/decoding/list.rs

@@ -15,7 +15,7 @@ use crate::util::Env;
 pub(crate) fn decoder(env: &mut Env<'_>, _def_symbol: Symbol) -> (Expr, Variable) {
     // Build
     //
-    //   def_symbol : Decoder (List elem) fmt | elem has Decoding, fmt implements DecoderFormatting
+    //   def_symbol : Decoder (List elem) fmt | elem implements Decoding, fmt implements DecoderFormatting
     //   def_symbol = Decode.custom \bytes, fmt -> Decode.decodeWith bytes (Decode.list Decode.decoder) fmt
     //
     // NB: reduction to `Decode.list Decode.decoder` is not possible to the HRR.
@@ -27,10 +27,10 @@ pub(crate) fn decoder(env: &mut Env<'_>, _def_symbol: Symbol) -> (Expr, Variable
         // List elem
         let elem_var = env.subs.fresh_unnamed_flex_var();
 
-        // Decode.decoder : Decoder elem fmt | elem has Decoding, fmt implements EncoderFormatting
+        // Decode.decoder : Decoder elem fmt | elem implements Decoding, fmt implements EncoderFormatting
         let (elem_decoder, elem_decoder_var) = {
             // build `Decode.decoder : Decoder elem fmt` type
-            // Decoder val fmt | val has Decoding, fmt implements EncoderFormatting
+            // Decoder val fmt | val implements Decoding, fmt implements EncoderFormatting
             let elem_decoder_var = env.import_builtin_symbol_var(Symbol::DECODE_DECODER);
 
             // set val ~ elem

crates/compiler/derive/src/hash.rs

@@ -462,7 +462,7 @@ fn call_hash_ability_member(
 
     // build `member ...` function type. `member` here is `Hash.hash` or `Hash.addU16`.
     //
-    // hasher, val -[uls]-> hasher | hasher has Hasher, val implements Hash
+    // hasher, val -[uls]-> hasher | hasher implements Hasher, val implements Hash
     let exposed_hash_fn_var = env.import_builtin_symbol_var(member);
 
     // (typeof body), (typeof field) -[clos]-> hasher_result
@@ -479,11 +479,11 @@ fn call_hash_ability_member(
         )),
     );
 
-    //   hasher,        val            -[uls]->  hasher | hasher has Hasher, val implements Hash
+    //   hasher,        val            -[uls]->  hasher | hasher implements Hasher, val implements Hash
     // ~ (typeof body), (typeof field) -[clos]-> hasher_result
     env.unify(exposed_hash_fn_var, this_hash_fn_var);
 
-    // Hash.hash : hasher, (typeof field) -[clos]-> hasher | hasher has Hasher, (typeof field) implements Hash
+    // Hash.hash : hasher, (typeof field) -[clos]-> hasher | hasher implements Hasher, (typeof field) implements Hash
     let hash_fn_head = Expr::AbilityMember(member, None, this_hash_fn_var);
     let hash_fn_data = Box::new((
         this_hash_fn_var,

crates/compiler/load_internal/src/docs.rs

@@ -450,7 +450,7 @@ fn contains_unexposed_type(
             false
         }
         Where(loc_ann, _loc_has_clauses) => {
-            // We assume all the abilities in the `has` clause are from exported modules.
+            // We assume all the abilities in the `implements` clause are from exported modules.
             // TODO don't assume this! Instead, look them up and verify.
             contains_unexposed_type(&loc_ann.value, exposed_module_ids, module_ids)
         }

crates/compiler/load_internal/src/file.rs

@@ -3172,7 +3172,7 @@ fn update<'a>(
                     //   # Default module
                     //   interface Default exposes [default, getDefault]
                     //
-                    //   Default has default : {} -> a | a implements Default
+                    //   Default implements default : {} -> a | a implements Default
                     //
                     //   getDefault = \{} -> default {}
                     //