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

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

2018-06-27	Niko Matsakis	pull out `ParamEnvAnd` and remove `QueryKey`	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
2018-06-26	Niko Matsakis	introduce `type_op`	commit \| commitdiff \| tree
2018-06-21	Niko Matsakis	tolerate existential types whose concrete expansion...	commit \| commitdiff \| tree
2018-06-21	Niko Matsakis	do not introduce false results from lifetime resolution	commit \| commitdiff \| tree
2018-06-21	Niko Matsakis	use `pat_ty_adjusted` from `expr_use_visitor` to type...	commit \| commitdiff \| tree
2018-06-21	Niko Matsakis	rename `pat_ty` to `pat_ty_adjusted` for clarity	commit \| commitdiff \| tree
2018-06-15	Niko Matsakis	fix `allow(irrefutable_let_patterns)`	commit \| commitdiff \| tree
2018-06-12	Niko Matsakis	update wording, do not change parser	commit \| commitdiff \| tree
2018-06-09	Niko Matsakis	remove some `#[inline(never)]`	commit \| commitdiff \| tree
2018-06-09	Niko Matsakis	introduce `any_unifications` flag	commit \| commitdiff \| tree
2018-06-09	Niko Matsakis	use `DUMMY_NODE_ID` as the `body_id` during NLL type...	commit \| commitdiff \| tree
2018-06-09	Niko Matsakis	convert type-check constraints into NLL constraints...	commit \| commitdiff \| tree
2018-06-09	Niko Matsakis	rename `Constraint` to `OutlivesConstraint`	commit \| commitdiff \| tree
2018-06-09	Niko Matsakis	key drop-data computation by ty, not var	commit \| commitdiff \| tree
2018-06-09	Niko Matsakis	update some tests affected by some of the prior tweaks	commit \| commitdiff \| tree
2018-06-09	Niko Matsakis	cache the `dropck_outlives` computation per variable	commit \| commitdiff \| tree
2018-06-09	Niko Matsakis	extract out `fully_perform_op_and_get_region_constraints`	commit \| commitdiff \| tree
2018-06-09	Niko Matsakis	put the `RegionConstraintData` into an `Rc`	commit \| commitdiff \| tree
2018-06-09	Niko Matsakis	librustc_mir/borrow_check/nll/type_check/mod.rs: rustfmt	commit \| commitdiff \| tree
2018-06-09	Niko Matsakis	micro-optimize empty predicate and normalize lists	commit \| commitdiff \| tree
2018-06-09	Niko Matsakis	skip `eq_types` and `sub_types` when the two types...	commit \| commitdiff \| tree
2018-06-09	Niko Matsakis	add some instrumentation	commit \| commitdiff \| tree
2018-06-08	Niko Matsakis	rename `irrefutable_let_pattern` to `irrefutable_let_patterns`	commit \| commitdiff \| tree
2018-06-01	Niko Matsakis	rework to report errors from crates in a consistent...	commit \| commitdiff \| tree
2018-06-01	Niko Matsakis	merge UNNECESSARY_EXTERN_CRATE and UNUSED_EXTERN_CRATES	commit \| commitdiff \| tree
2018-06-01	Niko Matsakis	extend `unused_extern_crates` lint with a suggestion...	commit \| commitdiff \| tree
2018-06-01	Niko Matsakis	also check `let` arms and nested patterns for mutable...	commit \| commitdiff \| tree
2018-05-31	Niko Matsakis	change `PointerKind::Implicit` to a note	commit \| commitdiff \| tree
2018-05-30	Niko Matsakis	also reset anon-param-mode for `fn()` types	commit \| commitdiff \| tree
2018-05-30	Niko Matsakis	reset the "anonymous lifetime mode" for parenthesized...	commit \| commitdiff \| tree
2018-05-29	Niko Matsakis	fix off by one error	commit \| commitdiff \| tree
2018-05-29	Niko Matsakis	tweak debug output some more	commit \| commitdiff \| tree
2018-05-29	Niko Matsakis	add some debugging statements	commit \| commitdiff \| tree
2018-05-29	Niko Matsakis	WIP fix rustc-hash cargo.lock entry for polonius-engine	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom