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

Age	Commit message (Collapse)	Author	Lines
2023-12-15	Move type relations into submodule in rustc_infer	Michael Goulet	-154/+0

2023-04-04	Remove intercrate and mark_ambiguous from Relation	Michael Goulet	-9/+0

2023-03-23	Include relation direction in AliasEq predicate	Michael Goulet	-0/+5

2023-03-15	always make `define_opaque_types` explicit	lcnr	-2/+2

2023-02-23	Rollup merge of #108350 - compiler-errors:assoc-type-bound-dogfooding, r=oli-obk	Matthias Krüger	-4/+1
	Use associated type bounds in some places in the compiler Use associated type bounds for some nested `impl Trait<Assoc = impl Trait2>` cases. I'm generally keen to introduce new lang features that are more mature into the compiler, but maybe let's see what others think? Side-note: I was surprised that the only use-cases of nested impl trait in the compiler are just iterator related?!
2023-02-22	Remove type-traversal trait aliases	Alan Egerton	-1/+1

2023-02-21	Associated type bounds in some places in the compiler	Michael Goulet	-4/+1

2023-02-10	emit `AliasEq` when relating type and const aliases	Boxy	-10/+12

2023-01-27	internally change regions to be covariant	Ali MJ Al-Nasrawy	-1/+2

2022-12-13	Fast path some binder relations	Michael Goulet	-0/+5

2022-11-21	Add some more assertions for type relations not used during coherence	Oli Scherer	-2/+3

2022-11-21	Add an always-ambiguous predicate to make sure that we don't accidentlally ↵	Oli Scherer	-0/+4
	allow trait resolution to prove false things during coherence
2022-11-21	Treat different opaque types of the same def id as equal during coherence	Oli Scherer	-0/+4

2022-10-07	Remove TypeckResults from InferCtxt	Cameron Steffen	-1/+1

2022-06-08	lub: don't bail out due to empty binders	lcnr	-6/+14

2022-03-28	Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"	Oli Scherer	-1/+9
	This reverts commit 6499c5e7fc173a3f55b7a3bd1e6a50e9edef782d, reversing changes made to 78450d2d602b06d9b94349aaf8cece1a4acaf3a8.
2022-02-28	Edit `rustc_trait_selection::infer::lattice` docs	pierwill	-0/+2
	Remove mentions of outdated/missing type and filename (`infer.rs` and `LatticeValue`).
2022-02-15	Overhaul `Const`.	Nicholas Nethercote	-4/+4
	Specifically, rename the `Const` struct as `ConstS` and re-introduce `Const` as this: ``` pub struct Const<'tcx>(&'tcx Interned<ConstS>); ``` This now matches `Ty` and `Predicate` more closely, including using pointer-based `eq` and `hash`. Notable changes: - `mk_const` now takes a `ConstS`. - `Const` was copy, despite being 48 bytes. Now `ConstS` is not, so need a we need separate arena for it, because we can't use the `Dropless` one any more. - Many `&'tcx Const<'tcx>`/`&Const<'tcx>` to `Const<'tcx>` changes - Many `ct.ty` to `ct.ty()` and `ct.val` to `ct.val()` changes. - Lots of tedious sigil fiddling.
2022-02-11	Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"	Oli Scherer	-9/+1
	This reverts commit e7cc3bddbe0d0e374d05e7003e662bba1742dbae, reversing changes made to 734368a200904ef9c21db86c595dc04263c87be0.
2022-02-02	Lazily resolve type-alias-impl-trait defining uses	Oli Scherer	-1/+9
	by using an opaque type obligation to bubble up comparisons between opaque types and other types Also uses proper obligation causes so that the body id works, because out of some reason nll uses body ids for logic instead of just diagnostics.
2021-12-13	Remove `in_band_lifetimes` from `rustc_infer`	LegionMammal978	-1/+1
	This crate actually had a typo `'ctx` in one of its functions: ```diff -pub fn same_type_modulo_infer(a: Ty<'tcx>, b: Ty<'ctx>) -> bool { +pub fn same_type_modulo_infer<'tcx>(a: Ty<'tcx>, b: Ty<'tcx>) -> bool { ```
2021-08-18	Remove box syntax from rustc_infer	est31	-1/+1

2021-06-06	Add variance-related information to lifetime error messages	Aaron Hill	-1/+2

2021-03-31	Add tcx lifetime to Binder	Jack Huey	-3/+3

2020-08-30	mv compiler to compiler/	mark	-0/+125