From 9fb0e4a7ae4a4e4ea03465e581d41e7cd40440b8 Mon Sep 17 00:00:00 2001 From: josh11b <15258583+josh11b@users.noreply.github.com> Date: Fri, 8 May 2026 15:38:34 -0700 Subject: [PATCH] Add sufficiency of declaration to the information accumulation principle (#7179) Adding to the information accumulation principle instead of creating new principle #5990. --------- Co-authored-by: Josh L Co-authored-by: Richard Smith --- docs/project/principles/information_accumulation.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/docs/project/principles/information_accumulation.md b/docs/project/principles/information_accumulation.md index 5cf324ba70c1..c43023e26f6c 100644 --- a/docs/project/principles/information_accumulation.md +++ b/docs/project/principles/information_accumulation.md @@ -79,6 +79,10 @@ especially important to the coherence of generics and templates. - When an `impl` needs to be resolved, only those `impl` declarations that appear earlier are considered. However, if a later `impl` declaration would change the result of any earlier `impl` lookup, the program is invalid. +- Declarations in an API file that are insufficient for use by clients that + import the library require a definition in the API file. + - Where possible, we should make declarations sufficient, so a definition + is not required. ## Exceptions