v0.23.0

0.23.0 (2025-01-04)

Features

• categorize API elements (#1285) (3275900), closes #1243
• optional error messages for constraints (#1275) (fce761c), closes #1082
• prevent editing built-in stubs (#1282) (d02c30a)
• show placeholders in outline (#1286) (3880bfe)

Bug Fixes

• subtype check for literal and union types (#1288) (911881c)
• subtype check for literal and union types (part 2) (#1289) (56284cf)
• type inference for lambdas and their parameters (#1304) (a9e070f)