loc_has -> loc_implements

crates/compiler/can/src/def.rs

@@ -2611,7 +2611,7 @@ fn to_pending_type_def<'a>(
         Ability {
             header: TypeHeader { name, vars },
             members,
-            loc_has: _,
+            loc_implements: _,
         } => {
             let name = match scope
                 .introduce_without_shadow_symbol(&Ident::from(name.value), name.region)

crates/compiler/fmt/src/def.rs

@@ -123,7 +123,7 @@ impl<'a> Formattable for TypeDef<'a> {
             }
             Ability {
                 header: TypeHeader { name, vars },
-                loc_has: _,
+                loc_implements: _,
                 members,
             } => {
                 buf.indent(indent);

crates/compiler/fmt/src/spaces.rs

@@ -507,14 +507,14 @@ impl<'a> RemoveSpaces<'a> for TypeDef<'a> {
             },
             Ability {
                 header: TypeHeader { name, vars },
-                loc_has,
+                loc_implements: loc_has,
                 members,
             } => Ability {
                 header: TypeHeader {
                     name: name.remove_spaces(arena),
                     vars: vars.remove_spaces(arena),
                 },
-                loc_has: loc_has.remove_spaces(arena),
+                loc_implements: loc_has.remove_spaces(arena),
                 members: members.remove_spaces(arena),
             },
         }

crates/compiler/parse/src/ast.rs

@@ -402,7 +402,7 @@ pub enum TypeDef<'a> {
     ///     hash : a -> U64 | a implements Hash
     Ability {
         header: TypeHeader<'a>,
-        loc_has: Loc<Implements<'a>>,
+        loc_implements: Loc<Implements<'a>>,
         members: &'a [AbilityMember<'a>],
     },
 }
@@ -1681,7 +1681,7 @@ impl<'a> Malformed for TypeDef<'a> {
             } => header.is_malformed() || typ.is_malformed() || derived.is_malformed(),
             TypeDef::Ability {
                 header,
-                loc_has,
+                loc_implements: loc_has,
                 members,
             } => {
                 header.is_malformed()

crates/compiler/parse/src/expr.rs

@@ -1408,7 +1408,7 @@ fn finish_parsing_ability_def_help<'a>(
     let def_region = Region::span_across(&name.region, &demands.last().unwrap().typ.region);
     let type_def = TypeDef::Ability {
         header: TypeHeader { name, vars: args },
-        loc_has,
+        loc_implements: loc_has,
         members: demands.into_bump_slice(),
     };