Inferred block return types