codegen: Ask the layout if it is uninhabited, not its impl detail#3675

celinval merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

workingjubilee:question-layout-not-internal-reprworkingjubilee/kani:question-layout-not-internal-reprCopy head branch name to clipboard