Leios January 2026 prototype additions#6416

Draft

bladyjoker wants to merge 1 commit intoleios-prototypefrom

leios-prototype-jan2026

Commits on Jan 23, 2026

leios: Fixes compilation due to missing pattern matches
bladyjoker
committed