Type annotation for patterns#1366

Open

martin-ilgner wants to merge 4 commits into

mainfrom

feature/pattern-type-annot

Commits on Apr 10, 2026

Parse Type Annotation
martin-ilgner
committed

Commits on Apr 17, 2026

Add pos test
martin-ilgner
committed

Commits on Apr 20, 2026

Add problematic example
martin-ilgner
committed

Commits on Apr 26, 2026

Use atomic type annotation to fix problems
martin-ilgner
committed