# Computed result is discarded without a useful effect

RuleID: portfolio.cor.18@1.0.0
Status: accepted-subset
Catalog snapshot: 4558458d

## V-COR-18 — Computed result is discarded without a useful effect

Computed result is discarded without a useful effect. It examines value, collection, identity, ordering, and control-flow contracts. The result remains unknown when the required evidence is incomplete.

Status: accepted-subset

Current scope: A bounded source subset is accepted for the documented source forms, build profile, positive and negative cases, and unknown boundary. This does not accept every similar program.

Evidence boundary: Required evidence must be complete for the selected immutable build snapshot. Otherwise the affected result is unknown.

---
Language: en
Canonical: https://docs.swift-analyzer.com/en/catalog/portfolio.cor.18/
Source revision: 4558458d