How do views like EmptyView conform to the View protocol?

Hmm I guess so, I don't think its simply checking the type of the body property, because otherwise this should work and render nothing on the screen:

struct Empty: View {
  var body: Never { fatalError() }
}

There's something deeper going on, but it's hard to tell without doing some sort of reverse engineering.