Type inference

Informative catalog page. The linked OpenSpec source is the sole normative text.

Capability ID

BSP-CAP-B957A69E7CC3

Capability key

language-meta--type-system--type-inference

Status

Standard

Catalog revision

9c11b6418f6db430f8fc249f71e01ce9273b2a681b77b32dafc44703b9b41734

Read the canonical OpenSpec capability source.

Requirements

• BSP-REQ-234FD8080AC9: Let and generic inference sites — canonical requirement
• BSP-REQ-A3B46E07E91C: Ambiguity and no widening — canonical requirement
• BSP-REQ-0EB447089E85: Inference diagnostics and conformance — canonical requirement