Type completeness in extend#6395

danakj wants to merge 4 commits intocarbon-language:trunkcarbon-language/carbon-lang:trunkfrom

danakj:proposal-extend-requiredanakj/carbon-lang:proposal-extend-requireCopy head branch name to clipboard