Michael Goulet
d50c2b0a52
Make builtin_deref just return a Ty
2024-05-09 22:55:00 -04:00
Michael Goulet
92861517aa
Take ocx by move for pending obligations
2024-05-02 22:03:01 -04:00
Michael Goulet
d9eb5232b6
Use ObligationCtxt in favor of TraitEngine in many places
2024-05-02 22:03:01 -04:00
Lukas Markeffsky
95c5b06000
fix ICE for deref coercions with type errors
2024-02-12 14:37:35 +01:00
Michael Goulet
5fc39e0796
Random type checker changes
2024-01-23 15:10:23 +00:00
Michael Goulet
68c2f11240
Remove special-casing around aliaskind in new solver
2024-01-11 16:54:11 +00: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
Nilstrieb
21a870515b
Fix clippy::needless_borrow in the compiler
...
`x clippy compiler -Aclippy::all -Wclippy::needless_borrow --fix`.
Then I had to remove a few unnecessary parens and muts that were exposed
now.
2023-11-21 20:13:40 +01:00
Michael Goulet
fb9030d7dd
Structurally normalize weak and inherent too
2023-08-07 19:05:59 +00:00
Boxy
12138b8e5e
Move TyCtxt::mk_x to Ty::new_x where applicable
2023-07-05 20:27:07 +01:00
lcnr
d04775d739
change snapshot tracking in fulfillment contexts
2023-06-29 10:02:26 +02:00
Michael Goulet
3d4da98273
Make TraitEngine::new use the right solver, add compare mode
2023-06-06 18:43:20 +00:00
Michael Goulet
e0acff796a
New trait solver is a property of inference context
2023-06-06 18:43:06 +00:00
Michael Goulet
4cfafb275e
Structurally normalize in the new solver
2023-05-22 21:18:20 +00:00
Maybe Waffle
46b01abbcd
Replace tcx.mk_trait_ref with ty::TraitRef::new
2023-04-25 16:12:44 +00:00
Alan Egerton
695072daa6
Remove type-traversal trait aliases
2023-02-22 17:04:58 +00:00
Vincenzo Palazzo
7d2c1103d7
fix: use LocalDefId instead of HirId in trait res
...
use LocalDefId instead of HirId in trait resolution to simplify
the obligation clause resolution
Signed-off-by: Vincenzo Palazzo <vincenzopalazzodev@gmail.com>
2023-01-23 11:42:18 +00:00
Michael Goulet
c8334ce60c
Move autoderef to rustc_hir_analysis
2023-01-11 20:12:57 +00:00
