---
title: 'Inference and Narrowing'
description: 'Inference and Narrowing — Zena documentation.'
status: Draft
statusType: warning
---

::: warning Placeholder
This page hasn't been written yet. The headings below are the planned outline —
see `src/_data/sidebar.js` for the full content plan.
:::

## Local inference

<!-- TODO: local inference -->

## Contextual typing

<!-- TODO: contextual typing -->

## Control-flow narrowing

<!-- TODO: control-flow narrowing -->

## is and as

<!-- TODO: is and as -->
