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

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

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	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-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-08	Bastian Kauschke	add const-generics test	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-05-02	Bastian Kauschke	typo	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
2020-04-29	Bastian Kauschke	document stable counterparts of intrinsics	commit \| commitdiff \| tree
2020-04-26	Bastian Kauschke	check that `AsRef` and `AsMut` are inlined	commit \| commitdiff \| tree
2020-04-26	Bastian Kauschke	test iterator chain type length blowup	commit \| commitdiff \| tree
2020-04-14	Bastian Kauschke	allow try as scrutinee, e.g. `match try ...`	commit \| commitdiff \| tree
2020-04-14	Bastian Kauschke	cleanup `is_expr_delims_necessary`	commit \| commitdiff \| tree
2020-04-14	Bastian Kauschke	update docs	commit \| commitdiff \| tree
2020-04-14	Bastian Kauschke	update 32 bit mir-opt tests	commit \| commitdiff \| tree
2020-04-13	Bastian Kauschke	bless mir opt tests	commit \| commitdiff \| tree
2020-04-13	Bastian Kauschke	unit rvalue: use constant `()` instead of tuple	commit \| commitdiff \| tree
2020-04-13	Bastian Kauschke	allow const generics in const fn	commit \| commitdiff \| tree
2020-04-10	Bastian Kauschke	words	commit \| commitdiff \| tree
2020-04-08	Bastian Kauschke	do_normalize_predicates: add delay_span_bug	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom