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

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

2018-07-12	Niko Matsakis	generate reborrow constraints at type check time	commit \| commitdiff \| tree
2018-07-12	Niko Matsakis	fix `debug!`	commit \| commitdiff \| tree
2018-07-04	Niko Matsakis	write code to extract region names and emit new style...	commit \| commitdiff \| tree
2018-07-03	Niko Matsakis	universal_regions: rustfmt	commit \| commitdiff \| tree
2018-07-03	Niko Matsakis	always create a category, even it is just "boring"	commit \| commitdiff \| tree
2018-07-03	Niko Matsakis	promote `error-reporting` to a module	commit \| commitdiff \| tree
2018-07-03	Niko Matsakis	add `assert_crate_local` method to `ClearCrossCrate`	commit \| commitdiff \| tree
2018-07-03	Niko Matsakis	store the `HirId` of the upvar	commit \| commitdiff \| tree
2018-07-03	Niko Matsakis	add "free region helpers"	commit \| commitdiff \| tree
2018-07-03	Niko Matsakis	generalize `find_constraint_paths_between_regions`	commit \| commitdiff \| tree
2018-07-03	Niko Matsakis	simplify and cleanup error-reporting walk code	commit \| commitdiff \| tree
2018-07-03	Niko Matsakis	error_report: rustfmt	commit \| commitdiff \| tree
2018-07-02	Niko Matsakis	add outlives annotations to `BTreeMap`	commit \| commitdiff \| tree
2018-07-02	Niko Matsakis	improve comments	commit \| commitdiff \| tree
2018-07-02	Niko Matsakis	introduce `predicates_defined_on` for traits	commit \| commitdiff \| tree
2018-07-02	Niko Matsakis	add `is_trait(DefId)` helper to `TyCtxt`	commit \| commitdiff \| tree
2018-07-02	Niko Matsakis	drive-by nits and debug	commit \| commitdiff \| tree
2018-07-02	Niko Matsakis	use `ty::TraitRef::identity` where possible	commit \| commitdiff \| tree
2018-07-02	Niko Matsakis	prove defaults meet WF requirements, not that they...	commit \| commitdiff \| tree
2018-07-01	Niko Matsakis	update mir-opt tests	commit \| commitdiff \| tree
2018-07-01	Niko Matsakis	remove the `ins` set altogether	commit \| commitdiff \| tree
2018-07-01	Niko Matsakis	remove the FxHashSet since it's not helping us in practice	commit \| commitdiff \| tree
2018-07-01	Niko Matsakis	use `WorkQueue` to track dirty bits in liveness	commit \| commitdiff \| tree
2018-07-01	Niko Matsakis	create a new `WorkQueue` data structure	commit \| commitdiff \| tree
2018-06-28	Niko Matsakis	add explanatory comment	commit \| commitdiff \| tree
2018-06-27	Niko Matsakis	rustfmt various files	commit \| commitdiff \| tree
2018-06-27	Niko Matsakis	change the `enter_canonical_trait_query` method to...	commit \| commitdiff \| tree
2018-06-27	Niko Matsakis	update comments	commit \| commitdiff \| tree
2018-06-27	Niko Matsakis	rename `prequery` to `try_fast_path`	commit \| commitdiff \| tree
2018-06-27	Niko Matsakis	pull out `ParamEnvAnd` and remove `QueryKey`	commit \| commitdiff \| tree
2018-06-27	Niko Matsakis	run rustfmt	commit \| commitdiff \| tree
2018-06-27	Niko Matsakis	don't use Iterator and zip but just invoke `next` manually	commit \| commitdiff \| tree
2018-06-27	Niko Matsakis	avoid use of vectors etc	commit \| commitdiff \| tree
2018-06-27	Niko Matsakis	extract `places_conflict` into its own module	commit \| commitdiff \| tree
2018-06-27	Niko Matsakis	move into `provide` methods	commit \| commitdiff \| tree
2018-06-27	Niko Matsakis	rename to `shrink_to_tcx_lifetime`	commit \| commitdiff \| tree
2018-06-27	Niko Matsakis	extend comment to note complications around lifetimes	commit \| commitdiff \| tree
2018-06-27	Niko Matsakis	pacify the mercilous tidy	commit \| commitdiff \| tree
2018-06-27	Niko Matsakis	improve comments on `dropck_outlives`	commit \| commitdiff \| tree
2018-06-27	Niko Matsakis	improve comment on instantiate NLL query result fn	commit \| commitdiff \| tree
2018-06-27	Niko Matsakis	remove `either` dependency we are not using	commit \| commitdiff \| tree
2018-06-27	Niko Matsakis	rename `upcast` to `cast_to_tcx_lifetime` and improve...	commit \| commitdiff \| tree
2018-06-27	Niko Matsakis	fix wrong query description	commit \| commitdiff \| tree
2018-06-27	Niko Matsakis	merge all the `type_op_foo` modules into one as they...	commit \| commitdiff \| tree
2018-06-27	Niko Matsakis	use query boiler plate for `normalize_projection_ty...	commit \| commitdiff \| tree
2018-06-27	Niko Matsakis	use query boilerplate for prove-predicate -- slightly...	commit \| commitdiff \| tree
2018-06-27	Niko Matsakis	use query boilerplate for subtype	commit \| commitdiff \| tree
2018-06-27	Niko Matsakis	use query boilerplate for `normalize`	commit \| commitdiff \| tree
2018-06-27	Niko Matsakis	extract out query boilerplate and use for `Eq`	commit \| commitdiff \| tree
2018-06-27	Niko Matsakis	nit: don't import Debug directly	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	do not re-create the `LocationTable` for every path	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	convert query-type-op to create query-region-constraint...	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	add a streamlined `instantiate_query_result` method...	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	convert `dropck_outlives` type-op to use the query	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	introduce `QueryKey` separation	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	extract more helpers from instantiating query result	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	WIP fix error messages for propagate_approximated_shorter_to...	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	instantiate closure requirements as query-region-constraints...	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	transition to `Fallible`	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	introduce `Normalizable` trait for things directly...	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	convert `prove_predicate` into a query	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	convert `predicates` to operate on 1 predicate at a...	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	make `Subtype` a true query	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	make `Eq` a true query	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	introduce `canonicalize_hr_query_hack`	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	move `type_op` into `rustc`	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	introduce `QueryTypeOp` trait and use it for `eq`	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	remove `Canonicalization` trait, which serves no purpose	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	extract `query_result_substitution` helper	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	rename `instantiate_query_result`	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	make `convert` so it can apply to a single constraint	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	extract type-ops into their own submodules	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	change to `crate` privacy instead of `pub(super)`	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	move `Debug` bounds onto `Lift`	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	make one `Canonicalize` impl for `QueryResult`	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	improve `trivial_case` handling	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	replace `LexicalRegionConstraintData` with `QueryRegionConst...	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	extract the handling of region constraints from queries	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	extract a helper for `make_query_result` that skips...	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	move `make_query_response` into method on infcx	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	break canonicalizer into submodules to make it easier...	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	promote canonical into a module	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	align the `type-op` outputs with what canonicalized...	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	mk `fully_perform_op_and_get_region_constraint_data...	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	remove the `TypeOp` vs `InfcxTypeOp` distinction	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	promote `type_op` into a `mod.rs` file	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	introduce `DropckOutlives` type-op	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	make `TypeOp` implement debug instead of carrying a...	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	extract a `enabled` helper to remove some ad-hoc conditionals	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	make `TypeOutlives` parameterized over a delegate	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	obligations.rs: rustfmt	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	resolve type vars before entering `type_must_outlive`	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	create `InfcxTypeOp` that only depend on an `infcx`	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	make normalize into an op	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	let `trivial_noop` take ownership of `self`	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	make `normalize` take ownership of the thing to be...	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	introduce `prove_predicates` type op	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	introduce `trivial_noop` to accommodate micro-optimizations	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	introduce `Eq` type-op	commit \| commitdiff \| tree
2018-06-26	Niko Matsakis	introduce `Subtype` type_op	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom