As an update to my previous comment in the linked thread, the aforementioned minimal version of pattern types have been merged and generic support is currently

As an update to my previous comment in the linked thread, the aforementioned minimal version of pattern types have been merged and generic support is currently being implemented[0]. Slowly but surely, we're getting there! [0]: https://github.com/rust-lang/rust/issues/136574 https://github.com/rust-lang/rust/issues/136574