git.lizzy.rs Git - rust.git/search

]> git.lizzy.rs Git - rust.git/search

2022-11-23	b-naber	include closures and generators in try_compute_field_ty	commit \| commitdiff \| tree
2022-11-23	b-naber	add invariance test	commit \| commitdiff \| tree
2022-11-23	b-naber	get field ty during projecting	commit \| commitdiff \| tree
2022-11-23	b-naber	address review	commit \| commitdiff \| tree
2022-11-23	b-naber	add more tests	commit \| commitdiff \| tree
2022-11-23	b-naber	properly handle enum field projections	commit \| commitdiff \| tree
2022-11-23	b-naber	add tests	commit \| commitdiff \| tree
2022-11-23	b-naber	use non-ascribed type as field type in mir	commit \| commitdiff \| tree
2022-11-23	b-naber	implement PlaceBuilder::try_ty	commit \| commitdiff \| tree
2022-10-08	b-naber	handle late-bound vars from inner binders correctly...	commit \| commitdiff \| tree
2022-10-03	b-naber	re-name params + add comments	commit \| commitdiff \| tree
2022-09-30	b-naber	bless tests	commit \| commitdiff \| tree
2022-09-30	b-naber	don't repeat lifetime names from outer binder in print	commit \| commitdiff \| tree
2022-09-28	b-naber	add test	commit \| commitdiff \| tree
2022-09-28	b-naber	account for use of index-based lifetime names in print...	commit \| commitdiff \| tree
2022-09-26	b-naber	address review	commit \| commitdiff \| tree
2022-09-26	b-naber	bless tests	commit \| commitdiff \| tree
2022-09-26	b-naber	don't duplicate late-bound region names in print of...	commit \| commitdiff \| tree
2022-09-23	b-naber	rename Unevaluated to UnevaluatedConst	commit \| commitdiff \| tree
2022-09-23	b-naber	rename Unevaluated to UnevaluatedConst	commit \| commitdiff \| tree
2022-09-23	b-naber	rename Unevaluated to UnevaluatedConst	commit \| commitdiff \| tree
2022-09-23	b-naber	fix test	commit \| commitdiff \| tree
2022-09-23	b-naber	add test	commit \| commitdiff \| tree
2022-09-23	b-naber	use correct location for type tests in promoted consts	commit \| commitdiff \| tree
2022-09-22	b-naber	don't convert valtree to constvalue during normalization	commit \| commitdiff \| tree
2022-09-22	b-naber	use valtrees for comparison	commit \| commitdiff \| tree
2022-09-22	b-naber	address review	commit \| commitdiff \| tree
2022-09-22	b-naber	introduce mir::Unevaluated	commit \| commitdiff \| tree
2022-09-22	b-naber	introduce mir::Unevaluated	commit \| commitdiff \| tree
2022-09-22	b-naber	bless tests	commit \| commitdiff \| tree
2022-09-22	b-naber	introduce mir::Unevaluated	commit \| commitdiff \| tree
2022-09-15	b-naber	nits	commit \| commitdiff \| tree
2022-09-15	b-naber	nits	commit \| commitdiff \| tree
2022-09-14	b-naber	address review again	commit \| commitdiff \| tree
2022-09-14	b-naber	address review again	commit \| commitdiff \| tree
2022-09-13	b-naber	rebase	commit \| commitdiff \| tree
2022-09-13	b-naber	rebase	commit \| commitdiff \| tree
2022-09-13	b-naber	bless tests	commit \| commitdiff \| tree
2022-09-13	b-naber	address review	commit \| commitdiff \| tree
2022-09-13	b-naber	remove visit_const from mir visitors	commit \| commitdiff \| tree
2022-09-13	b-naber	cranelift changes	commit \| commitdiff \| tree
2022-09-13	b-naber	cranelift changes	commit \| commitdiff \| tree
2022-09-13	b-naber	fixes/working version	commit \| commitdiff \| tree
2022-09-13	b-naber	renumber regions in mir constants correctly	commit \| commitdiff \| tree
2022-09-13	b-naber	use ty::Unevaluated<'tcx, ()> in type system	commit \| commitdiff \| tree
2022-09-13	b-naber	use ty::Unevaluated<'tcx, ()> in type system	commit \| commitdiff \| tree
2022-08-10	b-naber	add test	commit \| commitdiff \| tree
2022-08-09	b-naber	fix	commit \| commitdiff \| tree
2022-08-03	b-naber	fix typo	commit \| commitdiff \| tree
2022-06-24	b-naber	fmt	commit \| commitdiff \| tree
2022-06-24	b-naber	address review	commit \| commitdiff \| tree
2022-06-24	b-naber	small refactor	commit \| commitdiff \| tree
2022-06-24	b-naber	use correct substs in enum discriminant hack	commit \| commitdiff \| tree
2022-06-24	b-naber	add test	commit \| commitdiff \| tree
2022-06-14	b-naber	rebase	commit \| commitdiff \| tree
2022-06-14	b-naber	account for endianness in debuginfo for const args	commit \| commitdiff \| tree
2022-06-14	b-naber	rebase	commit \| commitdiff \| tree
2022-06-14	b-naber	correctly create Scalar for meta info	commit \| commitdiff \| tree
2022-06-14	b-naber	fix wrong evaluation in clippy	commit \| commitdiff \| tree
2022-06-14	b-naber	fix wrong evaluation in clippy	commit \| commitdiff \| tree
2022-06-14	b-naber	address review	commit \| commitdiff \| tree
2022-06-14	b-naber	address review	commit \| commitdiff \| tree
2022-06-14	b-naber	bless 32-bit ui tests	commit \| commitdiff \| tree
2022-06-14	b-naber	manually bless 32-bit mir-opt tests	commit \| commitdiff \| tree
2022-06-14	b-naber	address review	commit \| commitdiff \| tree
2022-06-14	b-naber	fix clippy test failures	commit \| commitdiff \| tree
2022-06-14	b-naber	fix clippy test failures	commit \| commitdiff \| tree
2022-06-14	b-naber	implement valtrees as the type-system representation...	commit \| commitdiff \| tree
2022-06-14	b-naber	implement valtrees as the type-system representation...	commit \| commitdiff \| tree
2022-06-14	b-naber	implement valtrees as the type-system representation...	commit \| commitdiff \| tree
2022-05-26	b-naber	rebase, use Ty in CallArgument and re-insert static_assert_s...	commit \| commitdiff \| tree
2022-05-25	b-naber	bless existing test with compare-mode=nll and remove...	commit \| commitdiff \| tree
2022-05-25	b-naber	update tests	commit \| commitdiff \| tree
2022-05-25	b-naber	suggest constraining dyn trait in impl in NLL	commit \| commitdiff \| tree
2022-05-25	b-naber	make TraitObject visitors public	commit \| commitdiff \| tree
2022-05-25	b-naber	add def_id and substs to ConstraintCategory::CallArgument	commit \| commitdiff \| tree
2022-05-24	b-naber	add and update tests	commit \| commitdiff \| tree
2022-05-24	b-naber	give correct error message on structural match violation	commit \| commitdiff \| tree
2022-05-16	b-naber	use GlobalId in eval_to_valtree query and introduce...	commit \| commitdiff \| tree
2022-04-27	b-naber	combine all unsized types and add another recursive...	commit \| commitdiff \| tree
2022-04-26	b-naber	account for custom DSTs in valtree -> constvalue conversion	commit \| commitdiff \| tree
2022-04-26	b-naber	add hacky closure to struct_tail_with_normalize in...	commit \| commitdiff \| tree
2022-04-24	b-naber	include valtree creation and valtree -> constvalue...	commit \| commitdiff \| tree
2022-04-21	b-naber	deduplicate a lot of code	commit \| commitdiff \| tree
2022-04-21	b-naber	implement (as of now still unused) query for valtree...	commit \| commitdiff \| tree
2022-04-21	b-naber	implement valtree -> constvalue conversion	commit \| commitdiff \| tree
2022-04-21	b-naber	add helper methods on ValTree	commit \| commitdiff \| tree
2022-04-21	b-naber	add some helper methods to ScalarInt	commit \| commitdiff \| tree
2022-04-14	b-naber	handle arrays and slices uniformly in valtree creation	commit \| commitdiff \| tree
2022-04-12	b-naber	use len on mplace instead of reading immediate, remove...	commit \| commitdiff \| tree
2022-04-08	b-naber	use deref on ImmTy	commit \| commitdiff \| tree
2022-04-08	b-naber	create leafs for slices	commit \| commitdiff \| tree
2022-04-08	b-naber	dont make lit_to_mir_constant a query	commit \| commitdiff \| tree
2022-04-06	b-naber	get rid of visit_constant in thir visitor	commit \| commitdiff \| tree
2022-04-06	b-naber	get rid of visit_constant in thir visitor	commit \| commitdiff \| tree
2022-04-02	b-naber	rebase and remove dead code	commit \| commitdiff \| tree
2022-04-02	b-naber	try to evaluate in from_opt_const_arg_anon_const	commit \| commitdiff \| tree
2022-04-02	b-naber	update tests	commit \| commitdiff \| tree
2022-04-02	b-naber	rebase and use ty::Const in patterns again	commit \| commitdiff \| tree
2022-04-02	b-naber	rebase and use ty::Const in patterns again	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom