Philipp Krones
c200dad300
Merge remote-tracking branch 'upstream/master' into rustup
2024-05-16 14:20:56 -07:00
Michael Goulet
760fbdf64e
split out AliasTy -> AliasTerm
2024-05-13 11:59:42 -04:00
bors
ff931a7af8
Auto merge of #124961 - matthiaskrgr:rollup-1jj65p6, r=matthiaskrgr
...
Rollup of 7 pull requests
Successful merges:
- #124551 (Add benchmarks for `impl Debug for str`)
- #124915 (`rustc_target` cleanups)
- #124918 (Eliminate some `FIXME(lcnr)` comments)
- #124927 (opt-dist: use xz2 instead of xz crate)
- #124936 (analyse visitor: build proof tree in probe)
- #124943 (always use `GenericArgsRef`)
- #124955 (Use fewer origins when creating type variables.)
r? `@ghost`
`@rustbot` modify labels: rollup
2024-05-10 06:50:46 +00:00
Matthias Krüger
b8997e30f0
Rollup merge of #124955 - nnethercote:next_ty_var, r=lcnr
...
Use fewer origins when creating type variables.
To reduce lots of repetitive boilerplate code. Details in the individual commit messages.
r? ``@lcnr``
2024-05-10 07:30:22 +02:00
Michael Goulet
9523b3fbf0
Rename Generics::params to Generics::own_params
2024-05-09 20:58:46 -04:00
Nicholas Nethercote
dbeae8da78
Use fewer origins when creating type variables.
...
`InferCtxt::next_{ty,const}_var*` all take an origin, but the
`param_def_id` is almost always `None`. This commit changes them to just
take a `Span` and build the origin within the method, and adds new
methods for the rare cases where `param_def_id` might not be `None`.
This avoids a lot of tedious origin building.
Specifically:
- next_ty_var{,_id_in_universe,_in_universe}: now take `Span` instead of
`TypeVariableOrigin`
- next_ty_var_with_origin: added
- next_const_var{,_in_universe}: takes Span instead of ConstVariableOrigin
- next_const_var_with_origin: added
- next_region_var, next_region_var_in_universe: these are unchanged,
still take RegionVariableOrigin
The API inconsistency (ty/const vs region) seems worth it for the
large conciseness improvements.
2024-05-10 09:47:46 +10:00
lcnr
9b4ad016ec
always use GenericArgsRef
2024-05-09 19:52:02 +00:00
Philipp Krones
80c6f8ff7b
Merge commit '20b085d500dfba5afe0869707bf357af3afe20be' into clippy-subtree-update
2024-05-02 17:26:44 +02:00
Alex Macleod
f7aef635c1
Rework interior mutability detection
2024-04-18 17:33:39 +00:00
Philipp Krones
a5aaf33422
Merge commit 'ca3b393750ee8d870bf3215dcf6509cafa5c0445' into clippy-subtree-update
2024-04-18 17:48:52 +02:00
Philipp Krones
846f6e7e00
Merge remote-tracking branch 'upstream/master' into rustup
2024-04-18 17:29:59 +02:00
Michael Goulet
febf858c23
Remove TypeVariableOriginKind
2024-04-15 16:51:50 -04:00
Philipp Krones
0ae4a048c6
Merge commit '9725c4a162502a02c1c67fdca6b797fe09b2b73c' into clippy-subtree-update
2024-04-04 19:52:55 +02:00
Philipp Krones
277303b210
Merge remote-tracking branch 'upstream/master' into rustup
2024-04-04 19:48:31 +02:00
Samuel Tardieu
02fc25635e
Add should_call_clone_as_function() utility function
2024-03-23 09:59:14 +01:00
Alex Macleod
a24d12b7aa
Enable unused_qualifications lint
2024-03-22 15:58:29 +00:00
Michael Goulet
c92b350581
Programmatically convert some of the pat ctors
2024-03-22 11:13:29 -04:00
Michael Goulet
1dbabc1767
Bless test fallout (duplicate diagnostics)
2024-03-20 13:00:34 -04:00
Jason Newcomb
0901b9fecf
Convert TypeVisitor and DefIdVisitor to use VisitorResult
2024-03-05 13:28:15 -05:00
Philipp Krones
f3b3d23416
Merge commit '60cb29c5e4f9772685c9873752196725c946a849' into clippyup
2024-02-08 20:24:42 +01:00
Philipp Krones
798865c593
Merge commit '66c29b973b3b10278bd39f4e26b08522a379c2c9' into clippy-subtree-update
2024-01-25 19:17:36 +01:00
Samuel Moelius
6a331e37fb
Apply suggestions from code review
...
Co-authored-by: fee1-dead <ent3rm4n@gmail.com>
2024-01-18 10:32:57 -05:00
Samuel Moelius
ad2a2ba94d
Ensure callee_ids are body owners
2024-01-15 12:26:45 -05:00
Philipp Krones
3596d44988
Merge commit 'a859e5cc1ce100df22346a1005da30532d04de59' into clippyup
2023-12-16 14:12:50 +01:00
Deadbeef
782520088f
fix clippy
2023-12-10 13:10:46 +00:00
Vadim Petrochenkov
bf86fe130c
rustc: hir().local_def_id_to_hir_id() -> tcx.local_def_id_to_hir_id() cleanup
2023-11-26 12:41:21 +03:00
lcnr
8c6c542443
rename bound region instantiation
...
- `erase_late_bound_regions` -> `instantiate_bound_regions_with_erased`
- `replace_late_bound_regions_X` -> `instantiate_bound_regions_X`
2023-11-17 09:29:48 +00:00
Philipp Krones
6246f0446a
Merge commit 'edb720b199083f4107b858a8761648065bf38d86' into clippyup
2023-11-16 19:13:24 +01:00
lcnr
9ab054d714
update type flags
...
- `HAS_RE_LATE_BOUND` -> `HAS_RE_BOUND`
- `HAS_TY_LATE_BOUND` -> `HAS_TY_BOUND`
- `HAS_CT_LATE_BOUND` -> `HAS_CT_BOUND`
- `HAS_LATE_BOUND` -> `HAS_BOUND_VARS`
- `fn has_late_bound_regions` -> `fn has_bound_regions`
- `fnhas_non_region_late_bound` -> `fn has_non_region_bound_vars`
- `fn has_late_bound_vars` -> `fn has_bound_vars`
2023-11-13 14:13:54 +00:00
lcnr
c4971f9f65
rename ReLateBound to ReBound
...
other changes:
- `Region::new_late_bound` -> `Region::new_bound`
- `Region::is_late_bound` -> `Region::is_bound`
2023-11-13 14:13:54 +00:00
Philipp Krones
77c1e3aaa1
Merge commit '09ac14c901abc43bd0d617ae4a44e8a4fed98d9c' into clippyup
2023-11-02 17:35:56 +01:00
lcnr
d9dc5ee072
AliasTy::new instead of tcx method
2023-10-18 13:57:19 +02:00
Jason Newcomb
9de3e6c928
Add more diagnostic items for clippy
2023-10-05 18:21:47 -04:00
Philipp Krones
772296c50e
Merge commit '7671c283a50b5d1168841f3014b14000f01dd204' into clippyup
2023-09-25 11:28:58 +02:00
Ralf Jung
b30cefc775
move ConstValue into mir
...
this way we have mir::ConstValue and ty::ValTree as reasonably parallel
2023-09-19 11:11:02 +02:00
Philipp Krones
471469d30f
Merge commit '98363cbf6a7c3f8b571a7d92a3c645bb4376e4a6' into clippyup
2023-09-12 18:44:06 +02:00
Philipp Krones
f730a2655a
Merge commit '1e8fdf492808a25d78a97e1242b835ace9924e4d' into clippyup
2023-08-11 14:05:13 +02:00
Deadbeef
b07de24a58
Remove constness from TraitPredicate
2023-08-02 15:38:00 +00:00
Philipp Krones
b0e64a9c09
Merge commit '5436dba826191964ac1d0dab534b7eb6d4c878f6' into clippyup
2023-07-31 23:53:53 +02:00
Michael Goulet
d1e1dcb1fb
Rename arg_iter to iter_instantiated
2023-07-17 21:04:12 +00:00
Philipp Krones
d6d530fd0b
Merge commit 'd9c24d1b1ee61f276e550b967409c9f155eac4e3' into clippyup
2023-07-17 10:22:32 +02:00
Mahdi Dibaiee
fdb2e363d3
refactor(rustc_middle): Substs -> GenericArg
2023-07-14 13:27:35 +01:00
Boxy
cbe468222a
Move TyCtxt::mk_x to Ty::new_x where applicable
2023-07-05 20:27:07 +01:00
Philipp Krones
cb3ecf7b79
Merge commit '37f4c1725d3fd7e9c3ffd8783246bc5589debc53' into clippyup
2023-07-02 14:59:02 +02:00
Michael Goulet
716c552632
Migrate predicates_of and caller_bounds to Clause
2023-06-26 23:12:03 +00:00
Michael Goulet
533a819115
Migrate item_bounds to ty::Clause
2023-06-22 18:34:23 +00:00
Michael Goulet
b2c7ce8908
s/Clause/ClauseKind
2023-06-19 14:57:42 +00:00
Philipp Krones
7e9abb311d
Merge commit '371120bdbf58a331db5dcfb2d9cddc040f486de8' into clippyup
2023-05-05 17:45:49 +02:00
Boxy
0339d4e982
rename needs_infer to has_infer
2023-04-27 08:35:19 +01:00
Kyle Matsuda
55d8146334
add subst_identity_iter and subst_identity_iter_copied methods on EarlyBinder; use this to simplify some EarlyBinder noise around explicit_item_bounds calls
2023-04-20 12:36:50 -06:00
