5 Commits

Author	SHA1	Message	Date
Nadrieril	4fc35c46ff	Rename TypeCx -> PatCx	2024-03-13 13:56:38 +01:00
Matthias Krüger	ce32d4862b	Rollup merge of #120331 - Nadrieril:no-arena, r=compiler-errors ... pattern_analysis: use a plain `Vec` in `DeconstructedPat` The use of an arena-allocated slice in `DeconstructedPat` dates to when we needed the arena anyway for lifetime reasons. Now that we don't, I'm thinking that if `thir::Pat` can use plain old `Vec`s, maybe so can I. r? ```@ghost```	2024-02-06 22:45:40 +01:00
Nadrieril	be77cf86ba	Use a Vec instead of a slice in DeconstructedPat	2024-01-31 19:25:40 +01:00
Nadrieril	400dc46a05	Gracefully abort on type incompatibility ... Since the only use of `TypeCx::bug` is in `Constructor::is_covered_by`, it is tempting to return `false` instead of `Err()`, but that would cause "non-exhaustive match" false positives.	2024-01-31 19:22:48 +01:00
Nadrieril	6ef836246b	Make PatternColumn part of the public API	2024-01-30 17:06:52 +01:00