SE-0400: init accessors can be ABI

apple · Apr 23, 2024 · e034929 · e034929
1 parent 96af45b
commit e034929
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/proposals/0400-init-accessors.md b/proposals/0400-init-accessors.md
@@ -502,7 +502,9 @@ declaration of a type.
 
 ## ABI compatibility
 
-`init` accessors are only called from within a module, so they are not part of the module's ABI. In cases where a type's initializer is `@inlinable`, the body of an `init` accessor must also be inlinable.
+`init` accessors can be ABI-public but are at most `internal`.
+Calling an `init` accessor from an `inlinable` type initializer requires that
+the `init` accessor is ABI-public.
 
 ## Implications on adoption