81 Commits

Author	SHA1	Message	Date
Nadrieril	4b2e8bc841	Abort analysis on type error	2024-01-07 22:13:08 +01:00
Nadrieril	07d5f19426	Add an error path to the algorithm	2024-01-07 22:13:08 +01:00
Nadrieril	1a3edc169b	We only need the arity of the subtype list now	2024-01-07 19:20:19 +01:00
Nadrieril	4ae2840e84	Use special enum to represent algorithm-generated wildcards in the matrix	2024-01-07 19:20:19 +01:00
Nadrieril	50b197c6ee	Reuse ctor_sub_tys when we have one around	2024-01-06 18:03:13 +01:00
Nadrieril	d40f1b1172	Remove Matrix.wildcard_row ... It was only used to track types and relevancy, so may as well store that directly.	2024-01-06 17:56:54 +01:00
Nadrieril	c35272058d	Statically enforce revealing of opaques	2024-01-01 23:10:03 +01:00
Michael Goulet	4ae024c754	Elide more lifetimes	2023-12-26 02:12:33 +00:00
Michael Goulet	b91a98ba10	Even more	2023-12-26 02:02:01 +00:00
Michael Goulet	eebb2abe0b	Yeet some lifetimes	2023-12-26 01:59:18 +00:00
Nadrieril	efb04e6572	Rework the explanation of relevancy	2023-12-23 22:43:06 +01:00
Nadrieril	71e83347bb	Improve performance on wide matches	2023-12-23 13:11:38 +01:00
Nadrieril	5fccaee59c	Clarify the situation with dummy patterns and PatData ... Use an explicit `Option` instead of requiring a `Default` bound	2023-12-23 00:08:38 +01:00
Nadrieril	c6aa16c469	Use derivative for better derive bounds	2023-12-23 00:04:20 +01:00
Nadrieril	2a87bae48d	Reveal opaque types in exhaustiveness checking	2023-12-20 14:43:00 +01:00
Nadrieril	3016c29628	s/MatchCx/TypeCx/	2023-12-15 17:26:19 +01:00
Nadrieril	4bcf66f875	Introduce MatchCtxt	2023-12-15 16:58:38 +01:00
Nadrieril	60ea14bfaa	s/PatCtxt/PlaceCtxt/	2023-12-15 16:58:38 +01:00
Nadrieril	1e89a38423	pattern_analysis doesn't need to know what spans are	2023-12-15 16:58:38 +01:00
Nadrieril	63c5b008e1	Make the crate compile on stable	2023-12-15 16:58:38 +01:00
Nadrieril	e646c9f723	Make the rustc_data_structures dependency optional	2023-12-15 16:58:38 +01:00
Nadrieril	16bd6ac3ed	Gate rustc-specific code under a feature	2023-12-15 16:58:37 +01:00
Nadrieril	3d7c4df326	Abstract MatchCheckCtxt into a trait	2023-12-15 16:58:36 +01:00
Nadrieril	3ad76f9325	Disentangle the arena from MatchCheckCtxt	2023-12-15 16:57:36 +01:00
Nadrieril	081c3dcf43	Remove all matching on ty.kind() outside cx	2023-12-15 16:57:36 +01:00
Nadrieril	b111b2e839	Split Single ctor into more specific variants	2023-12-15 16:57:36 +01:00
Nadrieril	43714edb6f	Fix doc links	2023-12-11 12:53:01 +01:00
Nadrieril	5d6c539c2d	Fix item visibilities	2023-12-11 11:20:55 +01:00
Nadrieril	24adca0a26	Move lints to their own module	2023-12-11 11:20:55 +01:00
Nadrieril	3691a0aee5	Gather rustc-specific functions around MatchCheckCtxt	2023-12-11 11:20:55 +01:00
Nadrieril	281002d42c	Extract exhaustiveness into its own crate	2023-12-11 11:20:55 +01:00