Explicit result types with empty refinements to prevent widening.
Workaround for SI-7755.