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

Age	Commit message (Collapse)	Author	Lines
2023-11-22	Cache flags for ty::Const	Michael Goulet	-14/+11

2023-11-13	update type flags	lcnr	-7/+7
	- `HAS_RE_LATE_BOUND` -> `HAS_RE_BOUND` - `HAS_TY_LATE_BOUND` -> `HAS_TY_BOUND` - `HAS_CT_LATE_BOUND` -> `HAS_CT_BOUND` - `HAS_LATE_BOUND` -> `HAS_BOUND_VARS` - `fn has_late_bound_regions` -> `fn has_bound_regions` - `fnhas_non_region_late_bound` -> `fn has_non_region_bound_vars` - `fn has_late_bound_vars` -> `fn has_bound_vars`
2023-11-13	rename `ReLateBound` to `ReBound`	lcnr	-3/+3
	other changes: - `Region::new_late_bound` -> `Region::new_bound` - `Region::is_late_bound` -> `Region::is_bound`
2023-11-04	Make sure that predicates with unmentioned bound vars are still considered ↵	Michael Goulet	-9/+5
	global in the old solver
2023-10-26	Replace type flag HAS_TY_GENERATOR with HAS_TY_COROUTINE	León Orell Valerian Liehr	-1/+1

2023-10-20	s/generator/coroutine/	Oli Scherer	-1/+1

2023-09-14	Properly consider binder vars in HasTypeFlagsVisitor	Michael Goulet	-0/+24

2023-09-13	Comments to clarify the working of `HasTypeFlagsVisitor`.	Nicholas Nethercote	-8/+8

2023-08-03	Placeholder nit	Michael Goulet	-6/+2

2023-05-04	IAT: Introduce AliasKind::Inherent	León Orell Valerian Liehr	-0/+3

2023-04-27	rename `needs_subst` to `has_param`	Boxy	-3/+3

2023-04-27	rename `needs_infer` to `has_infer`	Boxy	-3/+3

2023-04-17	Assure everyone that `has_type_flags` is fast	Maybe Waffle	-0/+8

2023-04-16	Remove `TypeSuper{Foldable,Visitable}` impls for `Region`.	Nicholas Nethercote	-1/+1
	These traits exist so that folders/visitors can recurse into types of interest: binders, types, regions, predicates, and consts. But `Region` is non-recursive and cannot contain other types of interest, so its methods in these traits are trivial. This commit inlines and removes those trivial methods.
2023-04-10	Support safe transmute in new solver	Michael Goulet	-0/+3

2023-02-22	Remove type-traversal trait aliases	Alan Egerton	-25/+19

2023-02-13	Move folding and visiting traits into type library	Alan Egerton	-118/+1

2023-02-13	Make visiting traits generic over the Interner	Alan Egerton	-27/+39

2023-02-13	Move TypeVisitableExt from ir module	Alan Egerton	-130/+127

2023-02-13	Split TypeVisitableExt from TypeVisitable	Alan Egerton	-1/+5

2023-02-13	Alias folding/visiting traits instead of re-export	Alan Egerton	-7/+9

2023-02-13	Move folding & visiting traits to ir submodules	Alan Egerton	-162/+176

2023-01-27	Introduce GeneratorWitnessMIR.	Camille GILLOT	-0/+3

2023-01-17	Stop using `BREAK` & `CONTINUE` in compiler	Scott McMurray	-16/+16
	Switching them to `Break(())` and `Continue(())` instead. libs-api would like to remove these constants, so stop using them in compiler to make the removal PR later smaller.
2023-01-08	Add type flags support for Ty and Const late-bound regions	Michael Goulet	-0/+8

2022-12-20	tracing: make flag checking less noisy	Oli Scherer	-14/+4

2022-12-13	Combine identical alias arms	Michael Goulet	-1/+1

2022-12-13	Combine projection and opaque into alias	Michael Goulet	-1/+1

2022-11-25	Add documentation for `has_escaping_bound_vars`	Deadbeef	-1/+7

2022-11-24	make `error_reported` check for delayed bugs	Boxy	-2/+2

2022-11-08	deprecate unchecked_claim_error_was_emitted in error_reported	yukang	-1/+5

2022-11-03	change error_reported to use Result instead of an option	yukang	-3/+3

2022-10-19	stop folding `UnevaluatedConst`	lcnr	-22/+0

2022-10-17	mir constants: type traversing bye bye	lcnr	-25/+0

2022-10-14	more dupe word typos	Rageking8	-2/+1

2022-10-04	It's not about types or consts, but the lack of regions	Oli Scherer	-4/+4

2022-09-23	rename Unevaluated to UnevaluatedConst	b-naber	-4/+16

2022-09-22	introduce mir::Unevaluated	b-naber	-2/+16

2022-09-08	Opaque types' generic params do not imply anything about their hidden type's ↵	Oli Scherer	-1/+1
	lifetimes
2022-09-01	tracing::instrument cleanup	Oli Scherer	-6/+6

2022-07-05	Split TypeVisitable from TypeFoldable	Alan Egerton	-0/+745