lcnr
fc0ef54fd9
opaque_type_storage to InferCtxtLike
2025-05-07 17:58:20 +00:00
lcnr
431f02d531
support duplicates in the opaque_types_storage
2025-05-06 14:59:09 +00:00
Romain Perier
6970813e78
Use less rustc_type_ir in the compiler codebase
...
This commit does the following:
- Replaces use of rustc_type_ir by rustc_middle in rustc_infer.
- The DelayedMap type is exposed by rustc_middle so everything can be
accessed through rustc_middle in a coherent manner.
- API-layer traits, like InferCtxtLike, Interner or inherent::* must be
accessed via rustc_type_ir, not rustc_middle::ty. For this reason
these are not reexported by rustc_middle::ty.
- Replaces use of ty::Interner by rustc_type_ir::Interner in
rustc_trait_selection
2025-05-02 09:37:06 +02:00
Romain Perier
ea7af1803f
Use less rustc_type_ir in the compiler codebase
...
This commit does the following:
- Replaces use of rustc_type_ir by rustc_middle
- Removes the rustc_type_ir dependency
- The DelayedSet type is exposed by rustc_middle so everything can be
accessed through rustc_middle in a coherent manner.
2025-04-30 16:42:33 +02:00
lcnr
855035b038
convert some GenericArg to Term
2025-04-26 02:05:31 +00:00
lcnr
509a144eed
add TypingMode::Borrowck
2025-04-03 11:13:10 +02:00
lcnr
cb275d4f26
simplify Interner opaque types API
2025-04-01 23:24:28 +02:00
Michael Goulet
575f129faa
Obligation::as_goal
2025-03-23 18:18:47 +00:00
Michael Goulet
dc0cdfd753
Squash fold into ty
2025-03-15 06:34:36 +00:00
Nicholas Nethercote
785e21d382
Remove allow(unused_variables) for rustc_transmute.
...
This was hiding some genuine sins, including unused arguments in
numerous functions/methods (incl. trait methods), and some unnecessary
computation.
2025-02-28 17:31:31 +11:00
Nicholas Nethercote
5f58985f5d
Remove rustc_transmute's dependence on rustc_infer.
...
`TransmuteTypeEnv` only needs a `TyCtxt`, not an `InferCtxt`.
2025-02-28 16:34:41 +11:00
Michael Goulet
4e763c2297
Pass spans around new solver
2025-02-05 18:32:06 +00:00
Michael Goulet
fd1110ce6a
Remove span from delegate
2025-02-05 18:18:11 +00:00
Michael Goulet
304b3cfcb2
Manually walk into WF obligations in BestObligation proof tree visitor
2025-01-31 18:21:58 +00:00
Michael Goulet
7143ef6550
Also in the new solver
2025-01-03 05:22:14 +00:00
lcnr
9792cf0d6b
remove non-borrowck member constraints
2024-12-20 10:04:01 +01:00
lcnr
34a8c2dbba
support revealing defined opaque post borrowck
2024-11-28 10:40:58 +01:00
lcnr
319843d8cd
no more Reveal :(
2024-11-23 13:52:54 +01:00
Boxy
bea0148ac6
Consolidate type system const evaluation under traits::evaluate_const
...
mew
2024-11-12 02:54:03 +00:00
lcnr
f51ec110a7
TypingMode 🤔
2024-10-29 17:01:24 +01:00
Matthias Krüger
405eb4178e
Rollup merge of #131825 - lcnr:probe-no-more-leak-2, r=compiler-errors
...
SolverDelegate add assoc type for Infcx
makes writing trait bounds on it a lot nicer going forward.
r? `@compiler-errors`
2024-10-17 20:47:31 +02:00
lcnr
c45073ec3e
SolverDelegate add assoc type for Infcx
2024-10-17 11:38:40 +02:00
lcnr
3360c1773a
move defining_opaque_types out of Canonical
2024-10-17 10:22:52 +02:00
lcnr
5fd7be97e9
remove outdated FIXMEs
2024-10-11 10:41:10 +00:00
Michael Goulet
c682aa162b
Reformat using the new identifier sorting from rustfmt
2024-09-22 19:11:29 -04:00
Nicholas Nethercote
4b3fa8e9f0
Remove #[macro_use] extern crate tracing from rustc_trait_selection.
2024-08-30 17:14:59 +10:00
Ralf Jung
fa74a9e6aa
valtree construction: keep track of which type was valtree-incompatible
2024-07-18 11:58:16 +02:00
许杰友 Jieyou Xu (Joe)
ffb93361b4
Rollup merge of #127439 - compiler-errors:uplift-elaborate, r=lcnr
...
Uplift elaboration into `rustc_type_ir`
Allows us to deduplicate and consolidate elaboration (including these stupid elaboration duplicate fns i added for pretty printing like 3 years ago) so I'm pretty hyped about this change :3
r? lcnr
2024-07-08 13:04:33 +08:00
Michael Goulet
15d16f1cd6
Finish uplifting supertraits
2024-07-07 11:28:01 -04:00
Michael Goulet
ab27c2fa77
Get rid of trait_ref_is_knowable from delegate
2024-07-07 11:10:48 -04:00
Michael Goulet
27588d1de3
Split SolverDelegate back out from InferCtxtLike
2024-07-05 16:39:39 -04:00
Michael Goulet
db638ab968
Rename a bunch of things
2024-06-21 12:32:05 -04:00
