let never: () throws(Never) -> Void = {} let cat: () throws(CatError) -> Void = never let animal: () throws(AnimalError) -> Void = cat let creature: () throws(any Error) -> Void = animal let never: () throws(Never) -> Void = {} let cat: () throws(CatError) -> Void = never let animal: () throws(AnimalError) -> Void = cat let creature: () throws(any Error) -> Void = animal let creature: (() throws(any Error) -> Void) -> Void = { _ in } let animal: (() throws(AnimalError) -> Void) -> Void = creature let cat: (() throws(CatError) -> Void) -> Void = animal let never: (() throws(Never) -> Void) -> Void = cat