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

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

2020-07-17	Bastian Kauschke	cleanup ty_is_~non~_local_constructor	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	unify Instance::resolve	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	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
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
next

Empowering everyone to build reliable and efficient software.

RSS Atom