Nadrieril
efb04e6572
Rework the explanation of relevancy
2023-12-23 22:43:06 +01:00
Nicholas Nethercote
99472c7049
Remove Session methods that duplicate DiagCtxt methods.
...
Also add some `dcx` methods to types that wrap `TyCtxt`, for easier
access.
2023-12-24 08:05:28 +11:00
Nadrieril
34307ab7c5
Reveal empty opaques in depth
2023-12-23 14:59:12 +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
bors
3a539c0889
Auto merge of #118842 - Nadrieril:librarify-further, r=compiler-errors
...
Make exhaustiveness usable outside of rustc
With this PR, `rustc_pattern_analysis` compiles on stable (with the `stable` feature)! `rust-analyzer` will be able to use it to provide match-related diagnostics and refactors.
Two questions:
- Should I name the feature `nightly` instead of `rustc` for consistency with other crates? `rustc` makes more sense imo.
- `typed-arena` is an optional dependency but tidy made me add it to the allow-list anyway. Can I avoid that somehow?
r? `@compiler-errors`
2023-12-19 17:15:04 +00:00
Matthias Krüger
74d81d15b4
NFC: do not clone types that are copy
2023-12-15 23:19:51 +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
8c5e89907c
Address review comments
2023-12-15 16:58:38 +01:00
Nadrieril
e10b165775
s/RustcCtxt/RustcMatchCheckCtxt/
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
42f4393824
Iron out last rustc-specific details
2023-12-15 16:58:37 +01:00
Nadrieril
cb622f3994
Name rustc-specific things "rustc"
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
Matthias Krüger
2a1acc26a0
Update compiler/rustc_pattern_analysis/src/constructor.rs
...
add note that `missing_empty` is cleared now
Co-authored-by: Nadrieril <Nadrieril@users.noreply.github.com>
2023-12-12 21:12:19 +01:00
Matthias Krüger
6892fcd690
simplify merging of two vecs
2023-12-12 18:42:37 +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
de3f983bcd
Make MaybeInfiniteInt rustc-independent
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
