RustNL

• Language & types

Oli Scherer -- Representing pattern types in the type system in a coherent way has a lot of interesting parts that no other types have had so far. I’ll talk about the lowering process from AST, over HIR, to the type system and finally into layout information. I’ll finish by explaining why generic pattern types are very incomplete so far and how we are planning to support them properly.

Player unavailable or embedding blocked? Use the YouTube link above.