rust - https://github.com/rust-lang/rust

Age	Commit message (Collapse)	Author	Lines
2023-03-21	Use local key in providers	Michael Goulet	-2/+2

2023-02-16	remove bound_type_of query; make type_of return EarlyBinder; change type_of ↵	Kyle Matsuda	-6/+2
	in metadata
2023-02-16	change usages of type_of to bound_type_of	Kyle Matsuda	-2/+6

2022-10-07	Rewrite representability	Cameron Steffen	-359/+92

2022-07-20	Remove unused StableMap and StableSet types from rustc_data_structures	Michael Woerister	-1/+1

2022-03-31	Specialize suggestion for Option<T>	Michael Goulet	-23/+47

2022-03-11	Improve `AdtDef` interning.	Nicholas Nethercote	-7/+7
	This commit makes `AdtDef` use `Interned`. Much the commit is tedious changes to introduce getter functions. The interesting changes are in `compiler/rustc_middle/src/ty/adt.rs`.
2022-02-21	use `List<Ty<'tcx>>` for tuples	lcnr	-2/+2

2022-02-15	Overhaul `TyS` and `Ty`.	Nicholas Nethercote	-2/+2
	Specifically, change `Ty` from this: ``` pub type Ty<'tcx> = &'tcx TyS<'tcx>; ``` to this ``` pub struct Ty<'tcx>(Interned<'tcx, TyS<'tcx>>); ``` There are two benefits to this. - It's now a first class type, so we can define methods on it. This means we can move a lot of methods away from `TyS`, leaving `TyS` as a barely-used type, which is appropriate given that it's not meant to be used directly. - The uniqueness requirement is now explicit, via the `Interned` type. E.g. the pointer-based `Eq` and `Hash` comes from `Interned`, rather than via `TyS`, which wasn't obvious at all. Much of this commit is boring churn. The interesting changes are in these files: - compiler/rustc_middle/src/arena.rs - compiler/rustc_middle/src/mir/visit.rs - compiler/rustc_middle/src/ty/context.rs - compiler/rustc_middle/src/ty/mod.rs Specifically: - Most mentions of `TyS` are removed. It's very much a dumb struct now; `Ty` has all the smarts. - `TyS` now has `crate` visibility instead of `pub`. - `TyS::make_for_test` is removed in favour of the static `BOOL_TY`, which just works better with the new structure. - The `Eq`/`Ord`/`Hash` impls are removed from `TyS`. `Interned`s impls of `Eq`/`Hash` now suffice. `Ord` is now partly on `Interned` (pointer-based, for the `Equal` case) and partly on `TyS` (contents-based, for the other cases). - There are many tedious sigil adjustments, i.e. adding or removing `*` or `&`. They seem to be unavoidable.
2022-02-01	remove `TyS::same_type`	lcnr	-1/+1
	it ignored regions and constants in adts, but didn't do so for references or any other types. This seemed quite weird
2022-01-15	Reduce use of local_def_id_to_hir_id.	Camille GILLOT	-6/+1

2021-05-10	Implement changes suggested by tmiasko and davidtwco	Fabian Wolff	-43/+42

2021-05-06	Fix stack overflow when checking for structural recursion	Fabian Wolff	-17/+199

2021-04-27	move `representability` out of `rustc_middle`	lcnr	-0/+186