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

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

2020-07-05	Bastian Kauschke	expected found `&T` -> `T`	commit \| commitdiff \| tree
2020-06-30	Bastian Kauschke	remove duplicate tests	commit \| commitdiff \| tree
2020-06-30	Bastian Kauschke	update `equal_up_to_regions`	commit \| commitdiff \| tree
2020-06-30	Bastian Kauschke	remove unused `TypeError::ProjectionBoundsLength`	commit \| commitdiff \| tree
2020-06-30	Bastian Kauschke	change `skip_binder` to use T by value	commit \| commitdiff \| tree
2020-06-30	Bastian Kauschke	stop taking references in Relate	commit \| commitdiff \| tree
2020-06-27	Bastian Kauschke	more LocalDefId cleanup	commit \| commitdiff \| tree
2020-06-27	Bastian Kauschke	more LocalDefId in ty::context	commit \| commitdiff \| tree
2020-06-27	Bastian Kauschke	use LocalDefId in module checking	commit \| commitdiff \| tree
2020-06-20	Bastian Kauschke	remove `pop_placeholders`	commit \| commitdiff \| tree
2020-06-20	Bastian Kauschke	int -> i32	commit \| commitdiff \| tree
2020-06-20	Bastian Kauschke	skol -> placeholder	commit \| commitdiff \| tree
2020-06-19	Bastian Kauschke	coerce reborrow multi arg test	commit \| commitdiff \| tree
2020-06-19	Bastian Kauschke	update coercion docs	commit \| commitdiff \| tree
2020-06-19	Bastian Kauschke	merge coercion test folders	commit \| commitdiff \| tree
2020-06-06	Bastian Kauschke	use enum to represent ObligationCause::dummy without...	commit \| commitdiff \| tree
2020-06-06	Bastian Kauschke	store `ObligationCause` on the heap	commit \| commitdiff \| tree
2020-06-06	Bastian Kauschke	remove outdated comment	commit \| commitdiff \| tree
2020-06-03	Bastian Kauschke	fix `AdtDef` docs	commit \| commitdiff \| tree
2020-06-03	Bastian Kauschke	remove outdated fixme	commit \| commitdiff \| tree
2020-06-03	Bastian Kauschke	remove ignore-tidy-filelength	commit \| commitdiff \| tree
2020-06-03	Bastian Kauschke	move confirmation into submodule	commit \| commitdiff \| tree
2020-06-03	Bastian Kauschke	move candidate assembly into a submodule	commit \| commitdiff \| tree
2020-06-03	Bastian Kauschke	move select into subfolder	commit \| commitdiff \| tree
2020-06-02	Bastian Kauschke	update tests	commit \| commitdiff \| tree
2020-06-02	Bastian Kauschke	change WellFormed predicate to GenericArg	commit \| commitdiff \| tree
2020-06-02	Bastian Kauschke	add WellFormedConst predicate	commit \| commitdiff \| tree
2020-06-02	Bastian Kauschke	implement wf checking for constants	commit \| commitdiff \| tree
2020-06-02	Bastian Kauschke	remove assert	commit \| commitdiff \| tree
2020-06-01	Bastian Kauschke	normalize adt fields during structural match check	commit \| commitdiff \| tree
2020-05-31	Bastian Kauschke	remove trivial calls to mk_const	commit \| commitdiff \| tree
2020-05-31	Bastian Kauschke	remove fixme for `stalled_on`	commit \| commitdiff \| tree
2020-05-30	Bastian Kauschke	more `LocalDefId`s	commit \| commitdiff \| tree
2020-05-29	Bastian Kauschke	remove trivial `mk_predicate`s	commit \| commitdiff \| tree
2020-05-29	Bastian Kauschke	remove mk_bool	commit \| commitdiff \| tree
2020-05-29	Bastian Kauschke	Borrow<[T]> for Interned<'tcx, List<T>>	commit \| commitdiff \| tree
2020-05-29	Bastian Kauschke	fix encode with shorthand for Predicate	commit \| commitdiff \| tree
2020-05-28	Bastian Kauschke	remove redundant `mk_const`	commit \| commitdiff \| tree
2020-05-28	Bastian Kauschke	add str to common types	commit \| commitdiff \| tree
2020-05-23	Bastian Kauschke	small select cleanup	commit \| commitdiff \| tree
2020-05-23	Bastian Kauschke	fix Predicate perf regression	commit \| commitdiff \| tree
2020-05-23	Bastian Kauschke	iterate List by value	commit \| commitdiff \| tree
2020-05-23	Bastian Kauschke	take mir::PlaceElem by value	commit \| commitdiff \| tree
2020-05-23	Bastian Kauschke	iterate List by value	commit \| commitdiff \| tree
2020-05-23	Bastian Kauschke	take predicates by value instead of by reference	commit \| commitdiff \| tree
2020-05-20	Bastian Kauschke	`is_const_context` -> `is_inside_const_context`	commit \| commitdiff \| tree
2020-05-20	Bastian Kauschke	refactor check_for_cast	commit \| commitdiff \| tree
2020-05-20	Bastian Kauschke	introduce newtype'd `Predicate<'tcx>`	commit \| commitdiff \| tree
2020-05-20	Bastian Kauschke	ptr eq for `Predicate`	commit \| commitdiff \| tree
2020-05-20	Bastian Kauschke	change `Predicate::kind` to return a reference	commit \| commitdiff \| tree
2020-05-20	Bastian Kauschke	intern `PredicateKind`	commit \| commitdiff \| tree
2020-05-20	Bastian Kauschke	introduce newtype'd `Predicate<'tcx>`	commit \| commitdiff \| tree
2020-05-20	Niko Matsakis	make `to_predicate` take a `tcx` argument	commit \| commitdiff \| tree
2020-05-20	Bastian Kauschke	rename `Predicate` to `PredicateKind`, introduce alias	commit \| commitdiff \| tree
2020-05-20	Bastian Kauschke	rename `Predicate` to `PredicateKind`, introduce alias	commit \| commitdiff \| tree
2020-05-20	Bastian Kauschke	fix is_const_context	commit \| commitdiff \| tree
2020-05-20	Bastian Kauschke	Add tests for opaque types	commit \| commitdiff \| tree
2020-05-20	Bastian Kauschke	comment return sites	commit \| commitdiff \| tree
2020-05-20	Bastian Kauschke	Be more conservative concerning `structural_match`	commit \| commitdiff \| tree
2020-05-20	Bastian Kauschke	note for `ty::Error`.	commit \| commitdiff \| tree
2020-05-20	Bastian Kauschke	exhaustively match during structural match checking	commit \| commitdiff \| tree
2020-05-19	Bastian Kauschke	add test for repr(128) enum derives	commit \| commitdiff \| tree
2020-05-19	Bastian Kauschke	add tests for enum discriminants	commit \| commitdiff \| tree
2020-05-19	Bastian Kauschke	update `discriminant_value` usage in tests	commit \| commitdiff \| tree
2020-05-19	Bastian Kauschke	update `discriminant_value` usage in the compiler	commit \| commitdiff \| tree
2020-05-19	Bastian Kauschke	update codegen of `discriminant_value`	commit \| commitdiff \| tree
2020-05-19	Bastian Kauschke	auto impl`DiscriminantKind` for every type	commit \| commitdiff \| tree
2020-05-19	Bastian Kauschke	update libcore, add `discriminant_kind` lang-item	commit \| commitdiff \| tree
2020-05-19	Bastian Kauschke	update select docs	commit \| commitdiff \| tree
2020-05-18	Bastian Kauschke	correctly handle uninferred consts	commit \| commitdiff \| tree
2020-05-17	Bastian Kauschke	update tests	commit \| commitdiff \| tree
2020-05-17	Bastian Kauschke	Logically seperate lazy norm from `const_generics`	commit \| commitdiff \| tree
2020-05-17	Bastian Kauschke	the best way to fix bugs is by ignoring them	commit \| commitdiff \| tree
2020-05-17	Bastian Kauschke	chalk	commit \| commitdiff \| tree
2020-05-17	Bastian Kauschke	correctly handle escaping bound variables	commit \| commitdiff \| tree
2020-05-17	Bastian Kauschke	add docs	commit \| commitdiff \| tree
2020-05-17	Bastian Kauschke	merge lazy_normalization_consts into const_generics	commit \| commitdiff \| tree
2020-05-17	Bastian Kauschke	explicitly handle errors in `select`	commit \| commitdiff \| tree
2020-05-17	Bastian Kauschke	explicitly handle errors in fulfill	commit \| commitdiff \| tree
2020-05-17	Bastian Kauschke	update tests and add relevant feature gate test	commit \| commitdiff \| tree
2020-05-17	Bastian Kauschke	keep the good old lazy_normalization hack alive	commit \| commitdiff \| tree
2020-05-17	Bastian Kauschke	initial cleanup	commit \| commitdiff \| tree
2020-05-17	Ben Lewis	Put lazy normalization behind a feature gate	commit \| commitdiff \| tree
2020-05-17	Ben Lewis	Add lazy normalization tests	commit \| commitdiff \| tree
2020-05-17	Ben Lewis	Emit `ConstEquate` obligation after checking/unifying...	commit \| commitdiff \| tree
2020-05-17	Ben Lewis	Assume unevaluated consts are equal to the other consts...	commit \| commitdiff \| tree
2020-05-13	Bastian Kauschke	add spans to `require_lang_items`	commit \| commitdiff \| tree
2020-05-13	Bastian Kauschke	use `require_lang_item` over `unwrap`.	commit \| commitdiff \| tree
2020-05-11	Bastian Kauschke	borrowck `DefId` -> `LocalDefId`	commit \| commitdiff \| tree
2020-05-09	Bastian Kauschke	add regression tests + improve method name	commit \| commitdiff \| tree
2020-05-09	Bastian Kauschke	move `ty::List` into a new submodule	commit \| commitdiff \| tree
2020-05-09	Bastian Kauschke	display `ConstKind::Param`	commit \| commitdiff \| tree
2020-05-07	Bastian Kauschke	rewrite Drop documentation	commit \| commitdiff \| tree
2020-05-04	Bastian Kauschke	double neg	commit \| commitdiff \| tree
2020-05-04	Bastian Kauschke	refactor suggest_traits_to_import	commit \| commitdiff \| tree
2020-05-02	Bastian Kauschke	slice::fill: take T by value.	commit \| commitdiff \| tree
2020-04-30	Bastian Kauschke	handle ByRef in relate	commit \| commitdiff \| tree
2020-04-30	Bastian Kauschke	coerce documentation	commit \| commitdiff \| tree
2020-04-29	Bastian Kauschke	emit err when using trait objects in pat	commit \| commitdiff \| tree
2020-04-29	Bastian Kauschke	forbid `dyn Trait` in const generics	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom