lcnr
bb93c23c08
use TypingEnv when no infcx is available
...
the behavior of the type system not only depends on the current
assumptions, but also the currentnphase of the compiler. This is
mostly necessary as we need to decide whether and how to reveal
opaque types. We track this via the `TypingMode`.
2024-11-18 10:38:56 +01:00
Philipp Krones
1ceaa90413
Merge commit ' 786fbd6d68' into clippy-subtree-update
2024-11-14 19:35:26 +01:00
Michael Goulet
a155c38989
Split out IntoIterator and non-Iterator constructors for AliasTy/AliasTerm/TraitRef/projection
2024-06-24 11:28:21 -04:00
Philipp Krones
0ae4a048c6
Merge commit ' 9725c4a162' into clippy-subtree-update
2024-04-04 19:52:55 +02:00
Philipp Krones
c9a43b18f1
Merge commit ' f0cdee4a3f' into clippy-subtree-sync
2023-12-01 18:21:58 +01:00
Philipp Krones
77c1e3aaa1
Merge commit ' 09ac14c901' into clippyup
2023-11-02 17:35:56 +01:00
Philipp Krones
d6d530fd0b
Merge commit ' d9c24d1b1e' 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
Nilstrieb
8f53926232
Alloc hir::Lit in an arena to remove the destructor from Expr
...
This allows allocating `Expr`s into a dropless arena, which is useful
for using length prefixed thing slices in HIR, since these can only be
allocated in the dropless arena and not in a typed arena. This is
something I'm working on.
2023-04-16 15:35:51 +00:00
Philipp Krones
e7fe1f9c14
Merge commit ' 0f7558148c' into clippyup
2023-02-10 14:01:19 +01:00
Philipp Krones
5c7a65251a
Merge commit ' 1480cea393' into clippyup
2023-01-27 21:09:08 +01:00
Oli Scherer
c7828221e3
Allow iterators instead of requiring slices that will get turned into iterators
2022-11-21 20:33:55 +00:00
Philipp Krones
d75b25faab
Merge commit ' ac0e10aa68' into clippyup
2022-10-06 09:44:38 +02:00
flip1995
f8f9d01c2a
Merge commit ' d7b5cbf065' into clippyup
2022-06-16 17:39:06 +02:00
flip1995
fb0142ae41
Merge commit ' 97a5daa659' into clippyup
2022-01-13 13:18:19 +01:00
flip1995
8fea1d94f3
Merge commit ' a5d597637d' into clippyup
2021-12-06 12:33:31 +01:00
flip1995
091ed44b50
Merge commit ' 27afd6ade4' into clippyup
2021-09-08 16:31:47 +02:00
flip1995
2b20f49841
Merge commit ' 0cce3f643b' into clippyup
2021-07-29 12:16:06 +02:00
flip1995
02bf692169
Merge commit ' 98e2b9f25b' into clippyup
2021-04-22 11:31:13 +02:00
