Can we write a protocol + type like that? https://forums.swift.org/t/how-do-view...

favorited · on Nov 6, 2019

I don't see why not. When I trick it into calling `body` on an EmptyView, I get this runtime failure:

> Thread 1: Fatal error: body() should not be called on EmptyView.

So I don't think the implementation is doing anything beyond the fatalError() call from that forum thread. At least not at this point in time.