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

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

2020-07-27	Bastian Kauschke	directly contain `PredicateAtom` in `PredicateKind...	commit \| commitdiff \| tree
2020-07-27	Bastian Kauschke	introduce PredicateAtom	commit \| commitdiff \| tree
2020-07-27	Bastian Kauschke	add reuse_or_mk_predicate	commit \| commitdiff \| tree
2020-07-27	Bastian Kauschke	refactor query_outlives_constraints_into_obligations	commit \| commitdiff \| tree
2020-07-27	Bastian Kauschke	this might be unqualified, but at least it's now quantified	commit \| commitdiff \| tree
2020-07-27	Bastian Kauschke	fix rustdoc	commit \| commitdiff \| tree
2020-07-27	Bastian Kauschke	split ignore_qualifiers	commit \| commitdiff \| tree
2020-07-27	Bastian Kauschke	review	commit \| commitdiff \| tree
2020-07-27	Bastian Kauschke	fix elaborate for predicates with unbound variables	commit \| commitdiff \| tree
2020-07-27	Bastian Kauschke	clippy	commit \| commitdiff \| tree
2020-07-27	Bastian Kauschke	rustdoc	commit \| commitdiff \| tree
2020-07-27	Bastian Kauschke	`PredicateKint` -> `PredicateKind`, the beginning of...	commit \| commitdiff \| tree
2020-07-27	Bastian Kauschke	progress	commit \| commitdiff \| tree
2020-07-27	Bastian Kauschke	elaborate	commit \| commitdiff \| tree
2020-07-27	Bastian Kauschke	subst_supertrait	commit \| commitdiff \| tree
2020-07-27	Bastian Kauschke	somewhat related cleanup	commit \| commitdiff \| tree
2020-07-27	Bastian Kauschke	wf	commit \| commitdiff \| tree
2020-07-27	Bastian Kauschke	convert trivial predicates	commit \| commitdiff \| tree
2020-07-27	Bastian Kauschke	query_outlives_constraints_into_obligations	commit \| commitdiff \| tree
2020-07-27	Bastian Kauschke	anonymize_predicate	commit \| commitdiff \| tree
2020-07-27	Matthew Jasper	Handle trait/projection predicates with bound regions...	commit \| commitdiff \| tree
2020-07-27	Bastian Kauschke	minimal	commit \| commitdiff \| tree
2020-07-27	Bastian Kauschke	add `PredicateKint`, because who doesn't like bodging	commit \| commitdiff \| tree
2020-07-23	Bastian Kauschke	slightly adapt const prop	commit \| commitdiff \| tree
2020-07-23	Bastian Kauschke	test usage	commit \| commitdiff \| tree
2020-07-23	Bastian Kauschke	add more complex param order test	commit \| commitdiff \| tree
2020-07-23	Bastian Kauschke	cleanup	commit \| commitdiff \| tree
2020-07-23	Bastian Kauschke	fix ICE caused by wrongly ordered generic params	commit \| commitdiff \| tree
2020-07-23	Bastian Kauschke	stop sorting generic params	commit \| commitdiff \| tree
2020-07-23	Bastian Kauschke	tweak wording	commit \| commitdiff \| tree
2020-07-22	Bastian Kauschke	require type defaults to be after const generic parameters	commit \| commitdiff \| tree
2020-07-22	Bastian Kauschke	no need to polymorphize	commit \| commitdiff \| tree
2020-07-22	Bastian Kauschke	polymorphize GlobalAlloc::Function	commit \| commitdiff \| tree
2020-07-22	Bastian Kauschke	note LLVM in fixme	commit \| commitdiff \| tree
2020-07-22	Bastian Kauschke	const prop into operands	commit \| commitdiff \| tree
2020-07-21	Bastian Kauschke	fetch -> lookup	commit \| commitdiff \| tree
2020-07-21	Bastian Kauschke	`try_update` -> `try_upgrade`	commit \| commitdiff \| tree
2020-07-21	Bastian Kauschke	remove some const arg in ty dep path boilerplate	commit \| commitdiff \| tree
2020-07-20	Bastian Kauschke	update coherence docs	commit \| commitdiff \| tree
2020-07-20	Bastian Kauschke	review	commit \| commitdiff \| tree
2020-07-19	Bastian Kauschke	do not try fetching the ancestors of errored trait...	commit \| commitdiff \| tree
2020-07-18	Bastian Kauschke	add note to `opt_const_param_of`	commit \| commitdiff \| tree
2020-07-17	Bastian Kauschke	refactor ty_is_non_local	commit \| commitdiff \| tree
2020-07-17	Bastian Kauschke	cleanup ty_is_~non~_local_constructor	commit \| commitdiff \| tree
2020-07-17	Bastian Kauschke	add test for #62878	commit \| commitdiff \| tree
2020-07-16	Bastian Kauschke	add regression test for #74255	commit \| commitdiff \| tree
2020-07-16	Bastian Kauschke	add regression test for #73730	commit \| commitdiff \| tree
2020-07-16	Bastian Kauschke	add regression test for #73508	commit \| commitdiff \| tree
2020-07-16	Bastian Kauschke	add regression test for #73491	commit \| commitdiff \| tree
2020-07-16	Bastian Kauschke	add regression test for #73120	commit \| commitdiff \| tree
2020-07-16	Bastian Kauschke	add regression test for #71805	commit \| commitdiff \| tree
2020-07-16	Bastian Kauschke	add regression test for #71348	commit \| commitdiff \| tree
2020-07-16	Bastian Kauschke	add regression test for #71169	commit \| commitdiff \| tree
2020-07-16	Bastian Kauschke	add regression test for #70586	commit \| commitdiff \| tree
2020-07-16	Bastian Kauschke	add regression test for #70217	commit \| commitdiff \| tree
2020-07-16	Bastian Kauschke	add regression test for #68596	commit \| commitdiff \| tree
2020-07-16	Bastian Kauschke	add regression tests for #67144	commit \| commitdiff \| tree
2020-07-16	Bastian Kauschke	bless ui tests	commit \| commitdiff \| tree
2020-07-16	Bastian Kauschke	update help message	commit \| commitdiff \| tree
2020-07-16	Bastian Kauschke	don't supply generics to AnonConsts in param lists	commit \| commitdiff \| tree
2020-07-16	Bastian Kauschke	relax Node lt bounds	commit \| commitdiff \| tree
2020-07-16	Bastian Kauschke	add self dependent const param test	commit \| commitdiff \| tree
2020-07-16	Bastian Kauschke	forbid generic params in the type of const params	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	add lazy normalization regression tests	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	WithOptConstParam::dummy -> WithOptConstParam::unknown	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	unify Instance::resolve	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	improve naming	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	unsafety_check_result_for_const_arg	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	WithOptConstParam::dummy -> WithOptConstParam::unknown	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	ty_def_id -> def_id_for_type_of	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	improve naming	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	cleanup	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	update promoted_mir	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	update const arg queries	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	const_eval_resolve	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	update test	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	only call `typeck_tables_of_const_arg` for const args	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	mir opt cross compile	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	mir_built is a lie	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	decode stuff	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	ui test diff	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	mir opt diff	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	const generics work!	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	continue mir pipeline	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	optimized_mir	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	InstanceDef::Item	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	typeck all the tables	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	const_eval_resolve	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	ConstKind::Unevaluated	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	begin using `WithOptParam`	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	introduce the query `opt_const_param_of`	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	add const generic tests	commit \| commitdiff \| tree
2020-07-15	Bastian Kauschke	improve DiscriminantKind handling	commit \| commitdiff \| tree
2020-07-08	Bastian Kauschke	ToPredicate by value	commit \| commitdiff \| tree
2020-07-05	Bastian Kauschke	expected found `&T` -> `T`	commit \| commitdiff \| tree
2020-07-04	Bastian Kauschke	instantiate_opaque_types LocalDefId	commit \| commitdiff \| tree
2020-07-04	Bastian Kauschke	ConstCx to LocalDefId	commit \| commitdiff \| tree
2020-07-04	Bastian Kauschke	add `lazy_normalization_consts` feature gate	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
next

Empowering everyone to build reliable and efficient software.

RSS Atom