No need to rethrows. Just wait for precise error typing. Then it will become func get() throws Failure -> Success and the compiler will happily tell you that you don't need to type try when Failure is Never.
Although it might not be able to change the concrete error type on the get method. We will likely get a different property with a precise throwing accessor.