itsscb/rust
1
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-11-18 09:26:28 +00:00
Code Issues Packages Projects Releases Wiki Activity
rust/compiler/rustc_infer/src/infer
History
Matthias Krüger ed4c5fef72 fix some clippy::style findings 
comparison_to_empty
iter_nth_zero
for_kv_map
manual_next_back
redundant_pattern
2023-07-23 23:36:56 +02:00
..
canonical
refactor(rustc_middle): Substs -> GenericArg
2023-07-14 13:27:35 +01:00
error_reporting
fix clippy::useless_format
2023-07-23 11:14:52 +02:00
higher_ranked
Move TyCtxt::mk_x to Ty::new_x where applicable
2023-07-05 20:27:07 +01:00
lexical_region_resolve
Rename tcx.mk_re_* => Region::new_*
2023-05-29 17:54:53 +00:00
nll_relate
New trait solver is a property of inference context
2023-06-06 18:43:06 +00:00
opaque_types
recompute opaque type origin
2023-06-09 14:48:45 +02:00
outlives
Rename arg_iter to iter_instantiated
2023-07-17 21:04:12 +00:00
region_constraints
fix some clippy::style findings
2023-07-23 23:36:56 +02:00
at.rs
add deep normalization via the new solver
2023-07-03 09:12:14 +02:00
combine.rs
refactor(rustc_middle): Substs -> GenericArg
2023-07-14 13:27:35 +01:00
equate.rs
refactor(rustc_middle): Substs -> GenericArg
2023-07-14 13:27:35 +01:00
free_regions.rs
…
freshen.rs
refactor(rustc_middle): Substs -> GenericArg
2023-07-14 13:27:35 +01:00
fudge.rs
…
generalize.rs
refactor(rustc_middle): Substs -> GenericArg
2023-07-14 13:27:35 +01:00
glb.rs
Remove intercrate and mark_ambiguous from Relation
2023-04-04 00:09:12 +00:00
lattice.rs
New trait solver is a property of inference context
2023-06-06 18:43:06 +00:00
lub.rs
Remove intercrate and mark_ambiguous from Relation
2023-04-04 00:09:12 +00:00
mod.rs
refactor(rustc_middle): Substs -> GenericArg
2023-07-14 13:27:35 +01:00
opaque_types.rs
Rename arg_iter to iter_instantiated
2023-07-17 21:04:12 +00:00
projection.rs
-Ztrait-solver=next: stop depending on old solver
2023-07-04 10:06:39 +02:00
resolve.rs
rename needs_infer to has_infer
2023-04-27 08:35:19 +01:00
sub.rs
Move TyCtxt::mk_x to Ty::new_x where applicable
2023-07-05 20:27:07 +01:00
type_variable.rs
refactor(rustc_middle): Substs -> GenericArg
2023-07-14 13:27:35 +01:00
undo_log.rs
change redundant clear() to assertion
2023-05-30 13:03:40 +02:00