Attachment: Download

Issue Description:

To summarize:

• I create an empty enum (no case), and put it inside a struct

• I define a method on the struct that calls another method on the enum

• The compiler complains that the function will not be executed, which is…acceptable?

• but explains that the callee is never-returning, which is kind of misleading.

I cannot get this bug reporter editor to put formatted code so I put it on a gist. I have put the Swift compiler output at the end.

Notice that for function g, which takes a value of the empty enum type, it does explain correctly, saying that the value is uninhabited.

The code is also attached.