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

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

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-03	Bastian Kauschke	fix `AdtDef` docs	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-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-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	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	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	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
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
2020-04-08	Bastian Kauschke	replace `has_local_value` with `needs_infer`	commit \| commitdiff \| tree
2020-04-08	Bastian Kauschke	don't set `HAS_INFER` for fresh types	commit \| commitdiff \| tree
2020-04-07	Bastian Kauschke	remove false positives of unused_braces	commit \| commitdiff \| tree
2020-04-07	Bastian Kauschke	wf: refactor `compute_trait_ref`	commit \| commitdiff \| tree
2020-03-31	Bastian Kauschke	update unused_braces wording	commit \| commitdiff \| tree
2020-03-31	Bastian Kauschke	add tests for `unused_braces`	commit \| commitdiff \| tree
2020-03-31	Bastian Kauschke	update tests	commit \| commitdiff \| tree
2020-03-31	Bastian Kauschke	fix internal lint fallout	commit \| commitdiff \| tree
2020-03-31	Bastian Kauschke	fix docs	commit \| commitdiff \| tree
2020-03-31	Bastian Kauschke	update `VecDeque::as_(mut)_slice` docs	commit \| commitdiff \| tree
2020-03-30	Bastian Kauschke	update tests, improve variable names	commit \| commitdiff \| tree
2020-03-30	Bastian Kauschke	add test for array len inference	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom