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

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

2023-02-07	lcnr	remove binder from query constraints	commit \| commitdiff \| tree
2023-01-27	lcnr	assert that solver results are stable	commit \| commitdiff \| tree
2023-01-27	lcnr	small refactor to new projection code	commit \| commitdiff \| tree
2023-01-26	lcnr	solver comments + remove `TyCtxt::evaluate_goal`	commit \| commitdiff \| tree
2023-01-24	lcnr	add test where we ignore hr implied bounds	commit \| commitdiff \| tree
2023-01-23	lcnr	`new_outside_solver` -> `evaluate_root_goal`	commit \| commitdiff \| tree
2023-01-19	lcnr	remove unnecessary check for opaque types	commit \| commitdiff \| tree
2023-01-18	lcnr	add comment	commit \| commitdiff \| tree
2023-01-18	lcnr	add note about indirect cycles	commit \| commitdiff \| tree
2023-01-18	lcnr	update project to emulate a projection cache	commit \| commitdiff \| tree
2023-01-18	lcnr	add `eq` to `InferCtxtExt`	commit \| commitdiff \| tree
2023-01-18	lcnr	remove assembly context and impl a bit more	commit \| commitdiff \| tree
2023-01-18	lcnr	instantiate canonical vars eagerly	commit \| commitdiff \| tree
2023-01-18	lcnr	update cache	commit \| commitdiff \| tree
2023-01-09	lcnr	update test for inductive canonical cycles	commit \| commitdiff \| tree
2022-12-20	lcnr	dedup assembly	commit \| commitdiff \| tree
2022-12-19	lcnr	implement the skeleton of the updated trait solver	commit \| commitdiff \| tree
2022-12-08	lcnr	add regression test for #105009	commit \| commitdiff \| tree
2022-12-08	lcnr	validate: use the correct reveal during opts	commit \| commitdiff \| tree
2022-11-29	lcnr	move `candidate_from_obligation` out of assembly	commit \| commitdiff \| tree
2022-11-25	lcnr	remove confusing comment	commit \| commitdiff \| tree
2022-11-25	lcnr	remove `TypeError::ObjectUnsafeCoercion`	commit \| commitdiff \| tree
2022-11-25	lcnr	small method code cleanup	commit \| commitdiff \| tree
2022-11-25	lcnr	notify lcnr on changes to `ObligationCtxt`	commit \| commitdiff \| tree
2022-11-25	lcnr	add comment	commit \| commitdiff \| tree
2022-11-25	lcnr	move 2 candidates into builtin candidate	commit \| commitdiff \| tree
2022-11-18	lcnr	deduplicate tests	commit \| commitdiff \| tree
2022-11-15	lcnr	use `ocx` type relation routines	commit \| commitdiff \| tree
2022-11-15	lcnr	add comment about opaque types	commit \| commitdiff \| tree
2022-11-15	lcnr	mv utility methods into separate module	commit \| commitdiff \| tree
2022-11-15	lcnr	nll: correctly deal with bivariance	commit \| commitdiff \| tree
2022-11-08	lcnr	ignore wasm in test	commit \| commitdiff \| tree
2022-11-08	lcnr	delay errors as bug	commit \| commitdiff \| tree
2022-11-08	lcnr	selection failure: recompute applicable impls	commit \| commitdiff \| tree
2022-11-07	lcnr	fully move `on_unimplemented` to error reporting	commit \| commitdiff \| tree
2022-10-20	lcnr	update doc links	commit \| commitdiff \| tree
2022-10-20	lcnr	add increased recursion limit	commit \| commitdiff \| tree
2022-10-20	lcnr	rustc_hir_typeck: fix clippy	commit \| commitdiff \| tree
2022-10-20	lcnr	rustc_hir_typeck: fix clippy	commit \| commitdiff \| tree
2022-10-20	lcnr	rustc_hir_typeck: fix paths and partially mv files	commit \| commitdiff \| tree
2022-10-20	lcnr	rustc_hir_typeck: move whole files	commit \| commitdiff \| tree
2022-10-19	lcnr	manually inline and rm `visit_abstract_const_expr`	commit \| commitdiff \| tree
2022-10-19	lcnr	stop folding `UnevaluatedConst`	commit \| commitdiff \| tree
2022-10-18	lcnr	`const_evaluatable_unchecked` to const eval	commit \| commitdiff \| tree
2022-10-18	lcnr	change `ConstEvaluatable` to use `ty::Const`	commit \| commitdiff \| tree
2022-10-17	lcnr	add inline to `TrivialTypeTraversalImpls`	commit \| commitdiff \| tree
2022-10-17	lcnr	rm `try_normalize_mir_const_after_erasing_regions`	commit \| commitdiff \| tree
2022-10-17	lcnr	mir constants: type traversing bye bye	commit \| commitdiff \| tree
2022-10-17	lcnr	`order_dependent_trait_objects` to `ReportNow`	commit \| commitdiff \| tree
2022-10-04	lcnr	missing value to delay_span_bug	commit \| commitdiff \| tree
2022-10-03	lcnr	`HirId` for `deferred_transmute_checks`	commit \| commitdiff \| tree
2022-09-29	lcnr	only allow `ConstEquate` with `feature(gce)`	commit \| commitdiff \| tree
2022-09-28	lcnr	update fixme	commit \| commitdiff \| tree
2022-09-27	lcnr	rustc_typeck to rustc_hir_analysis	commit \| commitdiff \| tree
2022-09-27	lcnr	rustc_typeck to rustc_hir_analysis	commit \| commitdiff \| tree
2022-09-27	lcnr	rustc_typeck to rustc_hir_analysis	commit \| commitdiff \| tree
2022-09-26	lcnr	remove outdated coherence hack	commit \| commitdiff \| tree
2022-09-19	lcnr	`DestructuredConst` split mir and ty	commit \| commitdiff \| tree
2022-09-19	lcnr	ctfe, `const_to_op` only for mir constants	commit \| commitdiff \| tree
2022-09-19	lcnr	remove `ty::Const::from_inline_const`	commit \| commitdiff \| tree
2022-09-19	lcnr	remove `FnCtxt::to_const`	commit \| commitdiff \| tree
2022-09-19	lcnr	add test	commit \| commitdiff \| tree
2022-09-19	lcnr	improve infer var handling for implied bounds	commit \| commitdiff \| tree
2022-09-19	lcnr	extend polymorphization hack comment.	commit \| commitdiff \| tree
2022-09-19	lcnr	remove the `Subst` trait, always use `EarlyBinder`	commit \| commitdiff \| tree
2022-09-19	lcnr	remove the `Subst` trait, always use `EarlyBinder`	commit \| commitdiff \| tree
2022-09-19	lcnr	do not implement type traversal for `EarlyBinder`	commit \| commitdiff \| tree
2022-09-15	lcnr	change `FnMutDelegate` to trait objects	commit \| commitdiff \| tree
2022-09-09	lcnr	review	commit \| commitdiff \| tree
2022-09-09	lcnr	rename `codegen_fulfill_obligation`	commit \| commitdiff \| tree
2022-09-09	lcnr	`resolve_instance`: remove `BoundVarsCollector`	commit \| commitdiff \| tree
2022-09-08	lcnr	merge tests	commit \| commitdiff \| tree
2022-09-08	lcnr	update ui tests	commit \| commitdiff \| tree
2022-09-08	lcnr	update `ParamKindOrd`	commit \| commitdiff \| tree
2022-09-08	lcnr	bound variables during ctfe are a bug	commit \| commitdiff \| tree
2022-09-08	lcnr	don't evaluate with escaping bound vars	commit \| commitdiff \| tree
2022-09-08	lcnr	stop evaluating constants in `Relate`	commit \| commitdiff \| tree
2022-09-08	lcnr	generalize: no need to cache errors	commit \| commitdiff \| tree
2022-08-25	lcnr	no unnormalized types for implied bounds	commit \| commitdiff \| tree
2022-08-19	lcnr	move `type_check_internal` into `type_check`	commit \| commitdiff \| tree
2022-08-19	lcnr	small mir typeck cleanup	commit \| commitdiff \| tree
2022-08-17	lcnr	dedup some code	commit \| commitdiff \| tree
2022-08-17	lcnr	`compare_predicate_entailment` move comment	commit \| commitdiff \| tree
2022-08-17	lcnr	implied_bounds: clarify our assumptions	commit \| commitdiff \| tree
2022-08-17	lcnr	add List::as_slice	commit \| commitdiff \| tree
2022-08-17	lcnr	`is_knowable` use `Result` instead of `Option`	commit \| commitdiff \| tree
2022-08-13	lcnr	wf correctly shallow_resolve consts	commit \| commitdiff \| tree
2022-08-13	lcnr	change `InlineAsmCtxt` to not talk about `FnCtxt`	commit \| commitdiff \| tree
2022-08-09	lcnr	test implied bounds + nested proj oblig	commit \| commitdiff \| tree
2022-08-09	lcnr	don't normalize wf predicates	commit \| commitdiff \| tree
2022-07-29	lcnr	remove some manual hash stable impls	commit \| commitdiff \| tree
2022-07-29	lcnr	update comment	commit \| commitdiff \| tree
2022-07-29	lcnr	optimize bound vars replacement :3	commit \| commitdiff \| tree
2022-07-28	lcnr	orphan check: remove const generics fixme	commit \| commitdiff \| tree
2022-07-28	lcnr	anonymize all bound vars, not just regions	commit \| commitdiff \| tree
2022-07-28	lcnr	`BoundVarReplacer`: trait object instead of 3 fns	commit \| commitdiff \| tree
2022-07-25	lcnr	use `FxIndexSet` for `region_bound_pairs`	commit \| commitdiff \| tree
2022-07-25	lcnr	`Inherited` always has `TypeckResults` available	commit \| commitdiff \| tree
2022-07-21	lcnr	`region_outlives_predicate` no snapshot	commit \| commitdiff \| tree
2022-07-21	lcnr	move `considering_regions` to the infcx	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom