Thoughts on pattern types and subtyping

jjpe November 3, 2022, 7:38pm 7

For context, refinement types work in Rust today without further modification.

1 Like

Buggy behavior in thread page

Topic		Replies	Views
Random Musings: types in patterns language design	11	1393	March 25, 2019
Pre-RFC: Subtyping coercion with inferred target language design	2	588	February 15, 2023
What would it take to revive Enum Variant Types? language design	3	1077	December 28, 2022
Minimum dyn trait subtyping (single inheritance)	38	2570	March 25, 2019
Why access subtyping is not allowed in type extensions? language design	30	1881	May 23, 2020