fix some more typos

src/expressions.rst

@@ -2853,7 +2853,7 @@ Indexing Expressions
 .. rubric:: Legality Rules
 
 :dp:`fls_X9kdEAPTqsAe`
-A :t:`indexable type` is a :t:`type` that implements the
+An :t:`indexable type` is a :t:`type` that implements the
 :std:`core::ops::Index` :t:`trait`.
 
 :dp:`fls_42ijvuqqqlvh`
@@ -3815,7 +3815,7 @@ An :t:`infinite loop expression` is a :t:`loop expression` that continues to
 evaluate its :t:`loop body` indefinitely.
 
 :dp:`fls_b314wjbv0zwe`
-The :t:`type` of a :t:`infinite loop expression` is determined as follows:
+The :t:`type` of an :t:`infinite loop expression` is determined as follows:
 
 * :dp:`fls_rpedapxnv8w3`
   If the :t:`infinite loop expression` does not contain a :t:`break expression`,
@@ -3827,7 +3827,7 @@ The :t:`type` of a :t:`infinite loop expression` is determined as follows:
   :t:`[break type]s` of all :t:`[break expression]s`.
 
 :dp:`fls_q3qpcf2fz7h`
-The :t:`value` of a :t:`infinite loop expression` is determined as follows:
+The :t:`value` of an :t:`infinite loop expression` is determined as follows:
 
 * :dp:`fls_2ulbzmuuny3g`
   If the :t:`infinite loop expression` does not contain a :t:`break expression`,

src/ffi.rst

@@ -159,7 +159,7 @@ An :t:`external block` is a :t:`construct` that provides the declarations of
 foreign :t:`[function]s` as unchecked imports.
 
 :dp:`fls_Nz0l16hMxqTd`
-The :t:`ABI` of a :t:`extern block` is determined as follows:
+The :t:`ABI` of an :t:`extern block` is determined as follows:
 
 * :dp:`fls_4XOoiFloXM7t`
   If the :t:`extern block` specifies an :s:`AbiKind`, then the :t:`ABI` is the specified :s:`AbiKind`.