Ensure a symbolic `final impl` has a definition produced#6236

jonmeow wants to merge 1 commit intocarbon-language:trunkcarbon-language/carbon-lang:trunkfrom

jonmeow:lower-crashjonmeow/carbon-lang:lower-crashCopy head branch name to clipboard