rust/compiler/rustc_middle/src/ty
Guillaume Gomez f2f8d8b722
Rollup merge of #123311 - Jules-Bertholet:andpat-everywhere, r=Nadrieril
Match ergonomics: implement "`&`pat everywhere"

Implements the eat-two-layers (feature gate `and_pat_everywhere`, all editions) ~and the eat-one-layer (feature gate `and_eat_one_layer_2024`, edition 2024 only, takes priority on that edition when both feature gates are active)~ (EDIT: will be done in later PR) semantics.

cc #123076

r? ``@Nadrieril``

``@rustbot`` label A-patterns A-edition-2024
2024-04-05 16:38:50 +02:00
..
consts Check x86_64 size assertions on aarch64, too 2024-04-03 16:53:03 +11:00
context Make span_bug panic site useful again 2024-03-19 09:19:12 +00:00
inhabitedness make Representability::Infinite carry ErrorGuaranteed 2024-03-14 20:52:13 +01:00
print rustc_index: Add a ZERO constant to index types 2024-04-03 19:06:22 +03:00
_match.rs Fallout from removing a_is_expected 2024-03-01 01:20:50 +00:00
abstract_const.rs Remove more unused Lift impls. 2023-09-18 09:37:10 +10:00
adjustment.rs Remove unused Lift derives. 2023-09-18 09:37:10 +10:00
adt.rs Remove Partial/Ord from AdtDef 2024-03-27 14:02:16 +00:00
assoc.rs use visibility to check unused imports and delete some stmts 2023-10-22 21:27:46 +08:00
cast.rs rename expose_addr to expose_provenance 2024-04-03 16:00:38 +02:00
closure.rs is_closure_like 2024-02-11 22:09:52 +00:00
codec.rs Remove MIR unsafe check 2024-04-03 08:50:12 +00:00
consts.rs Check x86_64 size assertions on aarch64, too 2024-04-03 16:53:03 +11:00
context.rs Auto merge of #123097 - oli-obk:perf_experiment, r=petrochenkov 2024-04-04 20:52:52 +00:00
diagnostics.rs Replace closures with _ when suggesting fully qualified path for method call 2024-03-21 00:07:44 +00:00
erase_regions.rs rename ReLateBound to ReBound 2023-11-13 14:13:54 +00:00
error.rs Auto merge of #122900 - matthiaskrgr:rollup-nls90mb, r=matthiaskrgr 2024-03-22 22:35:11 +00:00
fast_reject.rs Make RawPtr take Ty and Mutbl separately 2024-03-22 11:13:29 -04:00
flags.rs Make RawPtr take Ty and Mutbl separately 2024-03-22 11:13:29 -04:00
fold.rs Remove Partial/Ord from BoundRegion 2024-03-27 14:02:16 +00:00
generic_args.rs Remove Ord from Ty, Const, and Region 2024-03-27 14:02:16 +00:00
generics.rs Avoid code duplication 2024-02-28 19:28:34 -05:00
impls_ty.rs ctfe interpreter: extend provenance so that it can track whether a pointer is immutable 2023-12-07 17:46:36 +01:00
instance.rs CFI: Support function pointers for trait methods 2024-04-02 19:11:16 +00:00
intrinsic.rs Add a scheme for moving away from extern "rust-intrinsic" entirely 2024-03-04 16:13:50 +00:00
layout.rs Auto merge of #122900 - matthiaskrgr:rollup-nls90mb, r=matthiaskrgr 2024-03-22 22:35:11 +00:00
list.rs compiler: use addr_of! 2024-02-24 18:53:48 +03:00
mod.rs Auto merge of #123052 - maurer:addr-taken, r=compiler-errors 2024-04-04 06:40:30 +00:00
normalize_erasing_regions.rs Rename HAS_PROJECTIONS to HAS_ALIASES etc. 2024-04-04 19:26:17 +02:00
opaque_types.rs Dejargnonize subst 2024-02-12 15:46:35 +09:00
parameterized.rs Return a struct from query intrinsic to be able to add another field in the next commit 2024-03-04 16:13:50 +00:00
predicate.rs Remove Ord from Ty, Const, and Region 2024-03-27 14:02:16 +00:00
region.rs Restrict const ty's regions to static when putting them in canonical var list 2024-03-28 12:30:52 -04:00
relate.rs Auto merge of #122900 - matthiaskrgr:rollup-nls90mb, r=matthiaskrgr 2024-03-22 22:35:11 +00:00
rvalue_scopes.rs Enable potential_query_instability lint in rustc_hir_typeck. 2023-07-14 10:10:14 +02:00
structural_impls.rs Track reason for creating a ReifyShim 2024-04-02 19:11:16 +00:00
sty.rs Auto merge of #123440 - jhpratt:rollup-yat6crk, r=jhpratt 2024-04-04 02:11:23 +00:00
trait_def.rs Make crate_inherent_impls fallible and stop using track_errors for it 2024-01-17 10:02:29 +00:00
typeck_results.rs Rollup merge of #123311 - Jules-Bertholet:andpat-everywhere, r=Nadrieril 2024-04-05 16:38:50 +02:00
util.rs Programmatically convert some of the pat ctors 2024-03-22 11:13:29 -04:00
visit.rs Convert TypeVisitor and DefIdVisitor to use VisitorResult 2024-03-05 13:28:15 -05:00
vtable.rs make it more clear which functions create fresh AllocId 2023-09-14 07:27:31 +02:00
walk.rs Make RawPtr take Ty and Mutbl separately 2024-03-22 11:13:29 -04:00