# Межпроцедурный путь приводит к invalid force operation

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

Accepted subset is bounded. If required evidence is incomplete, the affected result is unknown.

## V-COR-10 — Межпроцедурный путь приводит к invalid force operation

Force unwrap, try! или другой force operation опасен, когда существует допустимый путь к невыполнимому предусловию.

Status: accepted-subset

Scope notes: Принят bounded source subset по контракту задачи. Подтверждение распространяется только на допущенные source forms, профиль сборки, positive/negative и unknown-границы из приёмки.

### Before (illustrative)

```swift
func absent() -> Int? { nil }
public func value() -> Int { absent()! }
```

### After (illustrative)

```swift
public func value() -> Int? { absent() }
```

Boundary: Не запрет синтаксиса !; path feasibility обязательна

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