Skip to content

Expand Note [Linear types] with the stance on linting linearity

This note reflex the discussion in #22123 (closed) .

Merge request reports